The bald eagle chases the lion. The bald eagle is green. The bald eagle is nice. The bald eagle is round. The bald eagle needs the cow. The bald eagle needs the lion. The bald eagle visits the lion. The cow chases the lion. The cow is round. The cow is young. The cow visits the bald eagle. The lion chases the bald eagle. The lion chases the cow. The lion is round. The lion needs the bald eagle. The lion visits the cow. If the lion is green then the lion needs the bald eagle. If something needs the bald eagle and it chases the bald eagle then it is young. If something visits the bald eagle and it needs the bald eagle then the bald eagle is nice. If something chases the cow then the cow is rough. If something is young and it chases the bald eagle then it visits the cow. If something is young and rough then it chases the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If the lion is green then the lion needs the bald eagle.
((("lion" "is" "green" "+")) -> ("lion" "needs" "bald eagle" "+"))
If something needs the bald eagle and it chases the bald eagle then it is young.
((("something" "needs" "bald eagle" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "is" "young" "+"))
If something visits the bald eagle and it needs the bald eagle then the bald eagle is nice.
((("something" "visits" "bald eagle" "+") ("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If something chases the cow then the cow is rough.
((("something" "chases" "cow" "+")) -> ("cow" "is" "rough" "+"))
If something is young and it chases the bald eagle then it visits the cow.
((("something" "is" "young" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "visits" "cow" "+"))
If something is young and rough then it chases the bald eagle.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "chases" "bald eagle" "+"))
The cow chases the lion.
True
1
proof
[(triple8)]
("cow" "chases" "lion" "+")
triple8
The bald eagle is not nice.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "nice" "-")
triple3
The cow is rough.
True
2
proof
[(((triple13) -> rule4))]
("cow" "is" "rough" "+")
((triple13) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple13) -> rule4))]
("cow" "is" "rough" "-")
((triple13) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow chases the bald eagle.
True
4
proof
[(((triple10 ((triple13) -> rule4)) -> rule6))]
("cow" "chases" "bald eagle" "+")
((triple10 ((triple13) -> (rule4 % int2))) -> (rule6 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow does not chase the bald eagle.
False
4
inv-proof
[(((triple10 ((triple13) -> rule4)) -> rule6))]
("cow" "chases" "bald eagle" "-")
((triple10 ((triple13) -> (rule4 % int2))) -> (rule6 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow visits the cow.
True
6
proof
[(((triple10 ((triple10 ((triple13) -> rule4)) -> rule6)) -> rule5))]
("cow" "visits" "cow" "+")
((triple10 ((triple10 ((triple13) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cow does not visit the cow.
False
6
inv-proof
[(((triple10 ((triple10 ((triple13) -> rule4)) -> rule6)) -> rule5))]
("cow" "visits" "cow" "-")
((triple10 ((triple10 ((triple13) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The bald eagle does not visit the cow.
Unknown
inv-rconc
[@2: The bald eagle visits the cow.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("bald eagle" "visits" "cow" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
The cow does not visit the lion.
Unknown
inv-random
[@0: The cow visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "lion" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle needs the lion.[(triple6)] The bald eagle visits the lion.[(triple7)] The cow chases the lion.[(triple8)] The cow is round.[(triple9)] The cow is young.[(triple10)] The cow visits the bald eagle.[(triple11)] The lion chases the bald eagle.[(triple12)] The lion chases the cow.[(triple13)] The lion is round.[(triple14)] The lion needs the bald eagle.[(triple15)] The lion visits the cow.[(triple16 OR ((((triple15 triple12) -> rule2) triple12) -> rule5))] @1: The cow is rough.[(((triple13) -> rule4))] The lion is young.[(((triple15 triple12) -> rule2))] @2: The cow chases the bald eagle.[(((triple10 ((triple13) -> rule4)) -> rule6))] @3: The cow visits the cow.[(((triple10 ((triple10 ((triple13) -> rule4)) -> rule6)) -> rule5))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple5
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple6
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple7
The cow chases the lion.
("cow" "chases" "lion" "+")
triple8
The cow is round.
("cow" "is" "round" "+")
triple9
The cow is young.
("cow" "is" "young" "+")
triple10
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple11
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple12
The lion chases the cow.
("lion" "chases" "cow" "+")
triple13
The lion is round.
("lion" "is" "round" "+")
triple14
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple15
The lion visits the cow.
("lion" "visits" "cow" "+")
triple16
((((triple15 triple12) -> (rule2 % int2)) triple12) -> (rule5 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
((triple13) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The lion is young.
("lion" "is" "young" "+")
((triple15 triple12) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((triple10 ((triple13) -> (rule4 % int2))) -> (rule6 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple10 ((triple10 ((triple13) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3