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