The bald eagle eats the cat. The bald eagle is rough. The cat eats the bald eagle. The cat eats the cow. The cat is blue. The cat is not cold. The cat is nice. The cat is not young. The cat needs the cow. The cat sees the bald eagle. The cat sees the cow. The cow eats the bald eagle. The cow eats the cat. The cow is not rough. The cow needs the bald eagle. The cow sees the cat. If someone is rough then they eat the cow. If the cow needs the cat and the cat needs the bald eagle then the bald eagle sees the cat. If someone needs the bald eagle and the bald eagle needs the cat then the bald eagle does not see the cat. If the bald eagle eats the cat then the bald eagle is blue. If someone eats the cat and they see the bald eagle then the cat eats the cow. If someone is blue then they need the cat. If the cat needs the cow then the cow sees the cat. If someone is blue and not young then they eat the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is not cold.
("cat" "is" "cold" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat is not young.
("cat" "is" "young" "-")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
If someone is rough then they eat the cow.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "cow" "+"))
If the cow needs the cat and the cat needs the bald eagle then the bald eagle sees the cat.
((("cow" "needs" "cat" "+") ("cat" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "cat" "+"))
If someone needs the bald eagle and the bald eagle needs the cat then the bald eagle does not see the cat.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "needs" "cat" "+")) -> ("bald eagle" "sees" "cat" "-"))
If the bald eagle eats the cat then the bald eagle is blue.
((("bald eagle" "eats" "cat" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone eats the cat and they see the bald eagle then the cat eats the cow.
((("someone" "eats" "cat" "+") ("someone" "sees" "bald eagle" "+")) -> ("cat" "eats" "cow" "+"))
If someone is blue then they need the cat.
((("someone" "is" "blue" "+")) -> ("someone" "needs" "cat" "+"))
If the cat needs the cow then the cow sees the cat.
((("cat" "needs" "cow" "+")) -> ("cow" "sees" "cat" "+"))
If someone is blue and not young then they eat the cat.
((("someone" "is" "blue" "+") ("someone" "is" "young" "~")) -> ("someone" "eats" "cat" "+"))
The cow sees the cat.
True
1
proof
[(triple16 OR ((triple9) -> rule7))]
("cow" "sees" "cat" "+")
triple16
((triple9) -> (rule7 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The cat does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("cat" "eats" "bald eagle" "-")
triple3
The cat needs the cat.
True
2
proof
[(((triple5) -> rule6))]
("cat" "needs" "cat" "+")
((triple5) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the cat.
False
2
inv-proof
[(((triple5) -> rule6))]
("cat" "needs" "cat" "-")
((triple5) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The bald eagle needs the cat.
True
3
proof
[(((((triple1) -> rule4)) -> rule6))]
("bald eagle" "needs" "cat" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle does not need the cat.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule6))]
("bald eagle" "needs" "cat" "-")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cow" "-")
The cow needs the cat.
Unknown
rconc
[@1: The cow needs the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "needs" "cat" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cow sees the bald eagle.
Unknown
random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is rough.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat eats the cow.[(triple4 OR ((((triple5 triple8) -> rule8) triple10) -> rule5))] The cat is blue.[(triple5)] The cat is nice.[(triple7)] The cat is not cold.[(triple6)] The cat is not young.[(triple8)] The cat needs the cow.[(triple9)] The cat sees the bald eagle.[(triple10)] The cat sees the cow.[(triple11)] The cow eats the bald eagle.[(triple12)] The cow eats the cat.[(triple13)] The cow is not rough.[(triple14)] The cow needs the bald eagle.[(triple15)] The cow sees the cat.[(triple16 OR ((triple9) -> rule7))] @1: The bald eagle eats the cow.[(((triple2) -> rule1))] The bald eagle is blue.[(((triple1) -> rule4))] The cat eats the cat.[(((triple5 triple8) -> rule8))] The cat needs the cat.[(((triple5) -> rule6))] @2: The bald eagle needs the cat.[(((((triple1) -> rule4)) -> rule6))] @3: The bald eagle does not see the cat.[(((triple15 ((((triple1) -> rule4)) -> rule6)) -> rule3))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat eats the cow.
("cat" "eats" "cow" "+")
triple4
((((triple5 triple8) -> (rule8 % int2)) triple10) -> (rule5 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat is not cold.
("cat" "is" "cold" "-")
triple6
The cat is not young.
("cat" "is" "young" "-")
triple8
The cat needs the cow.
("cat" "needs" "cow" "+")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple10
The cat sees the cow.
("cat" "sees" "cow" "+")
triple11
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple12
The cow eats the cat.
("cow" "eats" "cat" "+")
triple13
The cow is not rough.
("cow" "is" "rough" "-")
triple14
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple15
The cow sees the cat.
("cow" "sees" "cat" "+")
triple16
((triple9) -> (rule7 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple5 triple8) -> (rule8 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple5) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
((triple15 ((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3