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