Anne is big. Anne is kind. Anne is smart. Anne is young. Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is young. Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is red. Charlie is smart. Charlie is young. All young things are furry. If something is kind then it is furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
All young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
If something is kind then it is furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Bob is not furry.
False
1
inv-proof
[(triple7 OR ((triple8) -> rule2) OR ((triple9) -> rule1))]
("Bob" "is" "furry" "-")
triple7
((triple8) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple9) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Anne is furry.
True
2
proof
[(((triple2) -> rule2) OR ((triple4) -> rule1))]
("Anne" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple4) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple2) -> rule2) OR ((triple4) -> rule1))]
("Anne" "is" "furry" "-")
((triple2) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple4) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is furry.[(triple7 OR ((triple8) -> rule2) OR ((triple9) -> rule1))] Bob is kind.[(triple8)] Bob is young.[(triple9)] Charlie is big.[(triple10)] Charlie is blue.[(triple11)] Charlie is furry.[(triple12 OR ((triple13) -> rule2) OR ((triple16) -> rule1))] Charlie is kind.[(triple13)] Charlie is red.[(triple14)] Charlie is smart.[(triple15)] Charlie is young.[(triple16)] @1: Anne is furry.[(((triple2) -> rule2) OR ((triple4) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is furry.
("Bob" "is" "furry" "+")
triple7
((triple8) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple9) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
triple9
Charlie is big.
("Charlie" "is" "big" "+")
triple10
Charlie is blue.
("Charlie" "is" "blue" "+")
triple11
Charlie is furry.
("Charlie" "is" "furry" "+")
triple12
((triple13) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple16) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple13
Charlie is red.
("Charlie" "is" "red" "+")
triple14
Charlie is smart.
("Charlie" "is" "smart" "+")
triple15
Charlie is young.
("Charlie" "is" "young" "+")
triple16
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple4) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1