Anne is blue. Anne is furry. Anne is white. Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Dave is white. Gary is furry. Gary is red. Gary is rough. Gary is round. Gary is white. Harry is quiet. Harry is red. Harry is white. All white people are quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
All white people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Dave is furry.
True
1
proof
[(triple5)]
("Dave" "is" "furry" "+")
triple5
Harry is not white.
False
1
inv-proof
[(triple16)]
("Harry" "is" "white" "-")
triple16
Gary is quiet.
True
2
proof
[(((triple13) -> rule1))]
("Gary" "is" "quiet" "+")
((triple13) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple13) -> rule1))]
("Gary" "is" "quiet" "-")
((triple13) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is white.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is quiet.[(triple6 OR ((triple8) -> rule1))] Dave is rough.[(triple7)] Dave is white.[(triple8)] Gary is furry.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)] Gary is white.[(triple13)] Harry is quiet.[(triple14 OR ((triple16) -> rule1))] Harry is red.[(triple15)] Harry is white.[(triple16)] @1: Anne is quiet.[(((triple3) -> rule1))] Gary is quiet.[(((triple13) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
((triple8) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Gary is white.
("Gary" "is" "white" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
((triple16) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple13) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1