The bald eagle chases the cat. The bald eagle is cold. The bald eagle is green. The bald eagle likes the cat. The bald eagle likes the rabbit. The bald eagle sees the rabbit. The cat chases the bald eagle. The cat chases the rabbit. The cat is young. The cat likes the rabbit. The rabbit chases the cat. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit likes the bald eagle. The rabbit sees the bald eagle. If someone sees the bald eagle then they see the cat. If someone likes the rabbit then they are cold. If someone is cold then they see the bald eagle. If someone sees the cat and the cat is young then they like the cat. If someone is green then they are cold. If someone is nice and green then they see the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone sees the bald eagle then they see the cat.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "sees" "cat" "+"))
If someone likes the rabbit then they are cold.
((("someone" "likes" "rabbit" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they see the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone sees the cat and the cat is young then they like the cat.
((("someone" "sees" "cat" "+") ("cat" "is" "young" "+")) -> ("someone" "likes" "cat" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and green then they see the cat.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "sees" "cat" "+"))
The cat is young.
True
1
proof
[(triple9)]
("cat" "is" "young" "+")
triple9
The bald eagle is not green.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "green" "-")
triple3
The rabbit sees the cat.
True
2
proof
[(((triple16) -> rule1) OR ((triple13 triple12) -> rule6) OR ((((((triple12) -> rule5)) -> rule3)) -> rule1))]
("rabbit" "sees" "cat" "+")
((triple16) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
((triple13 triple12) -> (rule6 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
((((((triple12) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
The rabbit does not see the cat.
False
2
inv-proof
[(((triple16) -> rule1) OR ((triple13 triple12) -> rule6) OR ((((((triple12) -> rule5)) -> rule3)) -> rule1))]
("rabbit" "sees" "cat" "-")
((triple16) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
((triple13 triple12) -> (rule6 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
((((((triple12) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
The bald eagle sees the cat.
True
3
proof
[(((((triple2) -> rule3)) -> rule1) OR ((((((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((((triple5) -> rule2)) -> rule3)) -> rule1))]
("bald eagle" "sees" "cat" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The cat does not see the bald eagle.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule3))]
("cat" "sees" "bald eagle" "-")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat sees the cat.
True
4
proof
[(((((((triple10) -> rule2)) -> rule3)) -> rule1))]
("cat" "sees" "cat" "+")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat does not see the cat.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule3)) -> rule1))]
("cat" "sees" "cat" "-")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cat likes the bald eagle.
Unknown
random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
The rabbit does not chase the bald eagle.
Unknown
inv-random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The bald eagle chases the rabbit.
Unknown
random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple3) -> rule5) OR ((triple5) -> rule2))] The bald eagle is green.[(triple3)] The bald eagle likes the cat.[(triple4 OR ((((((triple2) -> rule3)) -> rule1) triple9) -> rule4) OR ((((((((triple3) -> rule5)) -> rule3)) -> rule1) triple9) -> rule4) OR ((((((((triple5) -> rule2)) -> rule3)) -> rule1) triple9) -> rule4))] The bald eagle likes the rabbit.[(triple5)] The bald eagle sees the rabbit.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat chases the rabbit.[(triple8)] The cat is young.[(triple9)] The cat likes the rabbit.[(triple10)] The rabbit chases the cat.[(triple11)] The rabbit is green.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is red.[(triple14)] The rabbit likes the bald eagle.[(triple15)] The rabbit sees the bald eagle.[(triple16 OR ((((triple12) -> rule5)) -> rule3))] @1: The bald eagle sees the bald eagle.[(((triple2) -> rule3) OR ((((triple3) -> rule5)) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] The cat is cold.[(((triple10) -> rule2))] The rabbit is cold.[(((triple12) -> rule5))] The rabbit sees the cat.[(((triple16) -> rule1) OR ((triple13 triple12) -> rule6) OR ((((((triple12) -> rule5)) -> rule3)) -> rule1))] @2: The bald eagle sees the cat.[(((((triple2) -> rule3)) -> rule1) OR ((((((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((((triple5) -> rule2)) -> rule3)) -> rule1))] The cat sees the bald eagle.[(((((triple10) -> rule2)) -> rule3))] The rabbit likes the cat.[(((((triple16) -> rule1) triple9) -> rule4) OR ((((triple13 triple12) -> rule6) triple9) -> rule4) OR ((((((((triple12) -> rule5)) -> rule3)) -> rule1) triple9) -> rule4))] @3: The cat sees the cat.[(((((((triple10) -> rule2)) -> rule3)) -> rule1))] @4: The cat likes the cat.[(((((((((triple10) -> rule2)) -> rule3)) -> rule1) triple9) -> rule4))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
((triple3) -> (rule5 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
((triple5) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple4
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
((((((((triple3) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple6
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple7
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple8
The cat is young.
("cat" "is" "young" "+")
triple9
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple10
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple13
The rabbit is red.
("rabbit" "is" "red" "+")
triple14
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple15
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple16
((((triple12) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
((triple10) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple12) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
((triple16) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
((triple13 triple12) -> (rule6 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
((((((triple12) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
((((triple16) -> (rule1 % int2)) triple9) -> (rule4 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
((((triple13 triple12) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
((((((((triple12) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
The cat sees the cat.
("cat" "sees" "cat" "+")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
((((((((triple10) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4