Anne is cold. Anne is quiet. Anne is red. Dave is cold. Dave is red. Dave is rough. Dave is white. Fiona is cold. Gary is green. Gary is rough. If Fiona is blue and Fiona is white then Fiona is quiet. Green, red people are blue. If someone is red and rough then they are white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Fiona is blue and Fiona is white then Fiona is quiet.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "quiet" "+"))
Green, red people are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and rough then they are white.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Fiona is cold.
True
1
proof
[(triple8)]
("Fiona" "is" "cold" "+")
triple8
Anne is not quiet.
False
1
inv-proof
[(triple2)]
("Anne" "is" "quiet" "-")
triple2
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "blue" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Dave is cold.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is white.[(triple7 OR ((triple5 triple6) -> rule3))] Fiona is cold.[(triple8)] Gary is green.[(triple9)] Gary is rough.[(triple10)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
((triple5 triple6) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10