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