Anne is cold. Anne is furry. Anne is quiet. Anne is rough. Bob is cold. Bob is furry. Bob is rough. Dave is big. Dave is blue. Dave is cold. Dave is quiet. Dave is rough. Dave is smart. Harry is big. Harry is blue. Harry is not furry. Rough, cold things are blue.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Rough, cold things are blue.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
Dave is quiet.
True
1
proof
[(triple11)]
("Dave" "is" "quiet" "+")
triple11
Dave is not smart.
False
1
inv-proof
[(triple13)]
("Dave" "is" "smart" "-")
triple13
Anne is blue.
True
3
proof
[(((triple4 triple1) -> rule1))]
("Anne" "is" "blue" "+")
((triple4 triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
3
inv-proof
[(((triple4 triple1) -> rule1))]
("Anne" "is" "blue" "-")
((triple4 triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Bob is rough.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9 OR ((triple12 triple10) -> rule1))] Dave is cold.[(triple10)] Dave is quiet.[(triple11)] Dave is rough.[(triple12)] Dave is smart.[(triple13)] Harry is big.[(triple14)] Harry is blue.[(triple15)] Harry is not furry.[(triple16)] @1: Anne is blue.[(((triple4 triple1) -> rule1))] Bob is blue.[(((triple7 triple5) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple9
((triple12 triple10) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is quiet.
("Dave" "is" "quiet" "+")
triple11
Dave is rough.
("Dave" "is" "rough" "+")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
triple13
Harry is big.
("Harry" "is" "big" "+")
triple14
Harry is blue.
("Harry" "is" "blue" "+")
triple15
Harry is not furry.
("Harry" "is" "furry" "-")
triple16
Anne is blue.
("Anne" "is" "blue" "+")
((triple4 triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple7 triple5) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1