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