Anne is not big. Anne is green. Anne is red. Anne is not round. Anne is white. Charlie is green. Charlie is not round. Charlie is smart. Fiona is quiet. Fiona is smart. All smart things are white. If something is big and not green then it is white.
Anne is not big.
("Anne" "is" "big" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is white.
("Anne" "is" "white" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
If something is big and not green then it is white.
((("something" "is" "big" "+") ("something" "is" "green" "~")) -> ("something" "is" "white" "+"))
Charlie is not round.
True
1
proof
[(triple7)]
("Charlie" "is" "round" "-")
triple7
Fiona is not smart.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "smart" "-")
triple10
Charlie is white.
True
2
proof
[(((triple8) -> rule1))]
("Charlie" "is" "white" "+")
((triple8) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple8) -> rule1))]
("Charlie" "is" "white" "-")
((triple8) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Anne is green.[(triple2)] Anne is not big.[(triple1)] Anne is not round.[(triple4)] Anne is red.[(triple3)] Anne is white.[(triple5)] Charlie is green.[(triple6)] Charlie is not round.[(triple7)] Charlie is smart.[(triple8)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10)] @1: Charlie is white.[(((triple8) -> rule1))] Fiona is white.[(((triple10) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is not round.
("Charlie" "is" "round" "-")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Charlie is white.
("Charlie" "is" "white" "+")
((triple8) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1