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