The bald eagle chases the cow. The bald eagle is red. The bald eagle is round. The bald eagle needs the cat. The cat is cold. The cat needs the cow. The cat sees the bald eagle. The cow chases the cat. The cow is rough. The cow needs the cat. If someone needs the cat and the cat chases the cow then the cow needs the bald eagle. If the cat is young then the cat chases the bald eagle. If the cat is young then the cat is red. If someone is rough and they chase the cat then the cat chases the cow. If someone is red and they see the bald eagle then they need the cow. If the cow needs the bald eagle then the cow sees the cat.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
If someone needs the cat and the cat chases the cow then the cow needs the bald eagle.
((("someone" "needs" "cat" "+") ("cat" "chases" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
If the cat is young then the cat chases the bald eagle.
((("cat" "is" "young" "+")) -> ("cat" "chases" "bald eagle" "+"))
If the cat is young then the cat is red.
((("cat" "is" "young" "+")) -> ("cat" "is" "red" "+"))
If someone is rough and they chase the cat then the cat chases the cow.
((("someone" "is" "rough" "+") ("someone" "chases" "cat" "+")) -> ("cat" "chases" "cow" "+"))
If someone is red and they see the bald eagle then they need the cow.
((("someone" "is" "red" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "needs" "cow" "+"))
If the cow needs the bald eagle then the cow sees the cat.
((("cow" "needs" "bald eagle" "+")) -> ("cow" "sees" "cat" "+"))
The bald eagle is round.
True
1
proof
[(triple3)]
("bald eagle" "is" "round" "+")
triple3
The bald eagle is not round.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "round" "-")
triple3
The cat chases the cow.
True
3
proof
[(((triple9 triple8) -> rule4))]
("cat" "chases" "cow" "+")
((triple9 triple8) -> (rule4 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cat does not chase the cow.
False
3
inv-proof
[(((triple9 triple8) -> rule4))]
("cat" "chases" "cow" "-")
((triple9 triple8) -> (rule4 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cow needs the bald eagle.
True
5
proof
[(((triple10 ((triple9 triple8) -> rule4)) -> rule1) OR ((triple4 ((triple9 triple8) -> rule4)) -> rule1))]
("cow" "needs" "bald eagle" "+")
((triple10 ((triple9 triple8) -> (rule4 % int2))) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
((triple4 ((triple9 triple8) -> (rule4 % int2))) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow does not need the bald eagle.
False
5
inv-proof
[(((triple10 ((triple9 triple8) -> rule4)) -> rule1) OR ((triple4 ((triple9 triple8) -> rule4)) -> rule1))]
("cow" "needs" "bald eagle" "-")
((triple10 ((triple9 triple8) -> (rule4 % int2))) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
((triple4 ((triple9 triple8) -> (rule4 % int2))) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow sees the cat.
True
6
proof
[(((((triple10 ((triple9 triple8) -> rule4)) -> rule1)) -> rule6) OR ((((triple4 ((triple9 triple8) -> rule4)) -> rule1)) -> rule6))]
("cow" "sees" "cat" "+")
((((triple10 ((triple9 triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cat chases the cow.
("cat" "chases" "cow" "+")
int3
((((triple4 ((triple9 triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cat chases the cow.
("cat" "chases" "cow" "+")
int3
The cow does not see the cat.
False
6
inv-proof
[(((((triple10 ((triple9 triple8) -> rule4)) -> rule1)) -> rule6) OR ((((triple4 ((triple9 triple8) -> rule4)) -> rule1)) -> rule6))]
("cow" "sees" "cat" "-")
((((triple10 ((triple9 triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cat chases the cow.
("cat" "chases" "cow" "+")
int3
((((triple4 ((triple9 triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cat chases the cow.
("cat" "chases" "cow" "+")
int3
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "red" "-")
The bald eagle needs the cow.
Unknown
rconc
[@1: The bald eagle needs the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "cow" "+")
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "needs" "cow" "-")
The cat chases the bald eagle.
Unknown
rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "bald eagle" "+")
The cow does not chase the bald eagle.
Unknown
inv-random
[@0: The cow chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bald eagle" "-")
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 cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the cat.[(triple4)] The cat is cold.[(triple5)] The cat needs the cow.[(triple6)] The cat sees the bald eagle.[(triple7)] The cow chases the cat.[(triple8)] The cow is rough.[(triple9)] The cow needs the cat.[(triple10)] @1: The cat chases the cow.[(((triple9 triple8) -> rule4))] @2: The cow needs the bald eagle.[(((triple10 ((triple9 triple8) -> rule4)) -> rule1) OR ((triple4 ((triple9 triple8) -> rule4)) -> rule1))] @3: The cow sees the cat.[(((((triple10 ((triple9 triple8) -> rule4)) -> rule1)) -> rule6) OR ((((triple4 ((triple9 triple8) -> rule4)) -> rule1)) -> rule6))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat needs the cow.
("cat" "needs" "cow" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The cow chases the cat.
("cow" "chases" "cat" "+")
triple8
The cow is rough.
("cow" "is" "rough" "+")
triple9
The cow needs the cat.
("cow" "needs" "cat" "+")
triple10
The cat chases the cow.
("cat" "chases" "cow" "+")
((triple9 triple8) -> (rule4 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((triple10 ((triple9 triple8) -> (rule4 % int2))) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
((triple4 ((triple9 triple8) -> (rule4 % int2))) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow sees the cat.
("cow" "sees" "cat" "+")
((((triple10 ((triple9 triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cat chases the cow.
("cat" "chases" "cow" "+")
int3
((((triple4 ((triple9 triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cat chases the cow.
("cat" "chases" "cow" "+")
int3