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