Anne is cold. Anne is quiet. Anne is white. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Dave is blue. Dave is cold. Dave is white. Gary is blue. Gary is cold. Gary is red. Gary is rough. All red, cold things are blue. If Gary is big then Gary is blue. If something is red and big then it is rough.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All red, cold things are blue.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If Gary is big then Gary is blue.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "blue" "+"))
If something is red and big then it is rough.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Gary is red.
True
1
proof
[(triple15)]
("Gary" "is" "red" "+")
triple15
Gary is not cold.
False
1
inv-proof
[(triple14)]
("Gary" "is" "cold" "-")
triple14
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Charlie is blue.[(triple4 OR ((triple7 triple5) -> rule1))] Charlie is cold.[(triple5)] Charlie is quiet.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is white.[(triple9)] Dave is blue.[(triple10)] Dave is cold.[(triple11)] Dave is white.[(triple12)] Gary is blue.[(triple13 OR ((triple15 triple14) -> rule1))] Gary is cold.[(triple14)] Gary is red.[(triple15)] Gary is rough.[(triple16)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
((triple7 triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Dave is blue.
("Dave" "is" "blue" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple11
Dave is white.
("Dave" "is" "white" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple13
((triple15 triple14) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple16