The bald eagle eats the cat. The bald eagle is nice. The bald eagle is rough. The cat eats the bald eagle. The cat eats the cow. The cat is nice. The cat is red. The cat is rough. The cat needs the bald eagle. The cat sees the bald eagle. The cat sees the cow. The cow eats the cat. The cow is nice. The cow is rough. The cow needs the cat. The cow sees the cat. If someone is rough then they see the cow. If someone eats the cow then they need the cat. If someone sees the bald eagle and the bald eagle sees the cow then the cow is round.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
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 nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
If someone is rough then they see the cow.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "cow" "+"))
If someone eats the cow then they need the cat.
((("someone" "eats" "cow" "+")) -> ("someone" "needs" "cat" "+"))
If someone sees the bald eagle and the bald eagle sees the cow then the cow is round.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "sees" "cow" "+")) -> ("cow" "is" "round" "+"))
The cat needs the bald eagle.
True
1
proof
[(triple9)]
("cat" "needs" "bald eagle" "+")
triple9
The bald eagle is not nice.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "nice" "-")
triple2
The cat needs the cat.
True
2
proof
[(((triple5) -> rule2))]
("cat" "needs" "cat" "+")
((triple5) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The bald eagle does not see the cow.
False
2
inv-proof
[(((triple3) -> rule1))]
("bald eagle" "sees" "cow" "-")
((triple3) -> (rule1 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cow is round.
True
4
proof
[(((triple10 ((triple3) -> rule1)) -> rule3))]
("cow" "is" "round" "+")
((triple10 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2
The cow is not round.
False
4
inv-proof
[(((triple10 ((triple3) -> rule1)) -> rule3))]
("cow" "is" "round" "-")
((triple10 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2
The bald eagle does not need the cat.
Unknown
inv-rconc
[@1: The bald eagle needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "cat" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle sees the cat.
Unknown
random
[@0: The bald eagle sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cat" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat eats the cow.[(triple5)] The cat is nice.[(triple6)] The cat is red.[(triple7)] The cat is rough.[(triple8)] The cat needs the bald eagle.[(triple9)] The cat sees the bald eagle.[(triple10)] The cat sees the cow.[(triple11 OR ((triple8) -> rule1))] The cow eats the cat.[(triple12)] The cow is nice.[(triple13)] The cow is rough.[(triple14)] The cow needs the cat.[(triple15)] The cow sees the cat.[(triple16)] @1: The bald eagle sees the cow.[(((triple3) -> rule1))] The cat needs the cat.[(((triple5) -> rule2))] The cow sees the cow.[(((triple14) -> rule1))] @2: The cow is round.[(((triple10 ((triple3) -> rule1)) -> rule3))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple4
The cat eats the cow.
("cat" "eats" "cow" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cat is red.
("cat" "is" "red" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple10
The cat sees the cow.
("cat" "sees" "cow" "+")
triple11
((triple8) -> (rule1 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
triple12
The cow is nice.
("cow" "is" "nice" "+")
triple13
The cow is rough.
("cow" "is" "rough" "+")
triple14
The cow needs the cat.
("cow" "needs" "cat" "+")
triple15
The cow sees the cat.
("cow" "sees" "cat" "+")
triple16
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((triple3) -> (rule1 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple5) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple14) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((triple10 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2