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