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