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