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