Anne is big. Anne is kind. Anne is round. Anne is white. Harry is not green. Harry is kind. Harry is quiet. Harry is red. Harry is not round. Harry is white. If Anne is round then Anne is white. If Anne is quiet then Anne is round. If Anne is quiet then Anne is red.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is white.
("Harry" "is" "white" "+")
If Anne is round then Anne is white.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "white" "+"))
If Anne is quiet then Anne is round.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "round" "+"))
If Anne is quiet then Anne is red.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "red" "+"))
Harry is red.
True
1
proof
[(triple8)]
("Harry" "is" "red" "+")
triple8
Harry is not quiet.
False
1
inv-proof
[(triple7)]
("Harry" "is" "quiet" "-")
triple7
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4 OR ((triple3) -> rule1))] Harry is kind.[(triple6)] Harry is not green.[(triple5)] Harry is not round.[(triple9)] Harry is quiet.[(triple7)] Harry is red.[(triple8)] Harry is white.[(triple10)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is not green.
("Harry" "is" "green" "-")
triple5
Harry is not round.
("Harry" "is" "round" "-")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple10