Anne is big. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is round. Anne is young. Bob is big. Bob is green. Bob is quiet. Bob is round. Gary is furry. Gary is green. Gary is nice. Gary is round. Gary is young. Round, furry things are young. All young, green things are nice. Round, green things are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Round, furry things are young.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
All young, green things are nice.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Round, green things are furry.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Gary is young.
True
1
proof
[(triple16 OR ((triple15 triple12) -> rule1) OR ((triple15 ((triple15 triple13) -> rule3)) -> rule1))]
("Gary" "is" "young" "+")
triple16
((triple15 triple12) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple15 ((triple15 triple13) -> (rule3 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Bob is not quiet.
False
1
inv-proof
[(triple10)]
("Bob" "is" "quiet" "-")
triple10
Bob is furry.
True
3
proof
[(((triple11 triple9) -> rule3))]
("Bob" "is" "furry" "+")
((triple11 triple9) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
3
inv-proof
[(((triple11 triple9) -> rule3))]
("Bob" "is" "furry" "-")
((triple11 triple9) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
True
5
proof
[(((triple11 ((triple11 triple9) -> rule3)) -> rule1))]
("Bob" "is" "young" "+")
((triple11 ((triple11 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not young.
False
5
inv-proof
[(((triple11 ((triple11 triple9) -> rule3)) -> rule1))]
("Bob" "is" "young" "-")
((triple11 ((triple11 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
True
7
proof
[(((((triple11 ((triple11 triple9) -> rule3)) -> rule1) triple9) -> rule2))]
("Bob" "is" "nice" "+")
((((triple11 ((triple11 triple9) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is not nice.
False
7
inv-proof
[(((((triple11 ((triple11 triple9) -> rule3)) -> rule1) triple9) -> rule2))]
("Bob" "is" "nice" "-")
((((triple11 ((triple11 triple9) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple6 triple3) -> rule3))] Anne is green.[(triple3)] Anne is nice.[(triple4 OR ((triple7 triple3) -> rule2) OR ((((triple6 triple2) -> rule1) triple3) -> rule2) OR ((((triple6 ((triple6 triple3) -> rule3)) -> rule1) triple3) -> rule2))] Anne is quiet.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7 OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple6 triple3) -> rule3)) -> rule1))] Bob is big.[(triple8)] Bob is green.[(triple9)] Bob is quiet.[(triple10)] Bob is round.[(triple11)] Gary is furry.[(triple12 OR ((triple15 triple13) -> rule3))] Gary is green.[(triple13)] Gary is nice.[(triple14 OR ((triple16 triple13) -> rule2) OR ((((triple15 triple12) -> rule1) triple13) -> rule2) OR ((((triple15 ((triple15 triple13) -> rule3)) -> rule1) triple13) -> rule2))] Gary is round.[(triple15)] Gary is young.[(triple16 OR ((triple15 triple12) -> rule1) OR ((triple15 ((triple15 triple13) -> rule3)) -> rule1))] @1: Bob is furry.[(((triple11 triple9) -> rule3))] @2: Bob is young.[(((triple11 ((triple11 triple9) -> rule3)) -> rule1))] @3: Bob is nice.[(((((triple11 ((triple11 triple9) -> rule3)) -> rule1) triple9) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple6 triple3) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple7 triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple6 triple2) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple6 ((triple6 triple3) -> (rule3 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple6 triple2) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple6 ((triple6 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is green.
("Bob" "is" "green" "+")
triple9
Bob is quiet.
("Bob" "is" "quiet" "+")
triple10
Bob is round.
("Bob" "is" "round" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
((triple15 triple13) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
((triple16 triple13) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple15 triple12) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple15 ((triple15 triple13) -> (rule3 % int3))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple15 triple12) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple15 ((triple15 triple13) -> (rule3 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
((triple11 triple9) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple11 ((triple11 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple11 ((triple11 triple9) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3