Bob is blue. Bob is red. Bob is round. Bob is young. Erin is big. Erin is blue. Erin is cold. Erin is red. Erin is round. Erin is young. If Bob is young and Bob is round then Bob is big. If Bob is cold and Bob is young then Bob is red.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
If Bob is young and Bob is round then Bob is big.
((("Bob" "is" "young" "+") ("Bob" "is" "round" "+")) -> ("Bob" "is" "big" "+"))
If Bob is cold and Bob is young then Bob is red.
((("Bob" "is" "cold" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "red" "+"))
Erin is round.
True
1
proof
[(triple9)]
("Erin" "is" "round" "+")
triple9
Erin is not young.
False
1
inv-proof
[(triple10)]
("Erin" "is" "young" "-")
triple10
Bob is big.
True
3
proof
[(((triple4 triple3) -> rule1))]
("Bob" "is" "big" "+")
((triple4 triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple4 triple3) -> rule1))]
("Bob" "is" "big" "-")
((triple4 triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is red.[(triple2)] Bob is round.[(triple3)] Bob is young.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is red.[(triple8)] Erin is round.[(triple9)] Erin is young.[(triple10)] @1: Bob is big.[(((triple4 triple3) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple4 triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1