Bob is big. Bob is red. Bob is rough. Bob is white. Dave is big. Dave is rough. Erin is cold. Erin is rough. Erin is round. Erin is smart. Smart people are round. Rough people are smart. If someone is red then they are cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Bob is rough.
True
1
proof
[(triple3)]
("Bob" "is" "rough" "+")
triple3
Dave is not big.
False
1
inv-proof
[(triple5)]
("Dave" "is" "big" "-")
triple5
Dave is smart.
True
2
proof
[(((triple6) -> rule2))]
("Dave" "is" "smart" "+")
((triple6) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not smart.
False
2
inv-proof
[(((triple6) -> rule2))]
("Dave" "is" "smart" "-")
((triple6) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Bob is round.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("Bob" "is" "round" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Dave is not round.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule1))]
("Dave" "is" "round" "-")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Dave is big.[(triple5)] Dave is rough.[(triple6)] Erin is cold.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9 OR ((triple10) -> rule1) OR ((((triple8) -> rule2)) -> rule1))] Erin is smart.[(triple10 OR ((triple8) -> rule2))] @1: Bob is cold.[(((triple2) -> rule3))] Bob is smart.[(((triple3) -> rule2))] Dave is smart.[(((triple6) -> rule2))] @2: Bob is round.[(((((triple3) -> rule2)) -> rule1))] Dave is round.[(((((triple6) -> rule2)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
((triple10) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple10
((triple8) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((triple6) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2