The bald eagle visits the rabbit. The dog chases the bald eagle. The dog chases the rabbit. The dog is nice. The dog is rough. The dog needs the rabbit. The dog does not visit the bald eagle. The rabbit is rough. The rabbit needs the bald eagle. The squirrel is round. The squirrel does not need the bald eagle. The squirrel does not visit the rabbit. If something visits the dog and the dog visits the squirrel then it is not young. If the bald eagle chases the rabbit and the rabbit chases the squirrel then the bald eagle is kind. If something chases the bald eagle and it needs the rabbit then the bald eagle visits the squirrel. If something needs the rabbit and the rabbit visits the bald eagle then it chases the dog. If the squirrel is round and the squirrel visits the dog then the dog does not need the squirrel. If the bald eagle needs the rabbit then the bald eagle does not need the dog. If something is rough and it visits the squirrel then it is nice. If something chases the dog and it is rough then it visits the bald eagle.
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
The squirrel does not visit the rabbit.
("squirrel" "visits" "rabbit" "-")
If something visits the dog and the dog visits the squirrel then it is not young.
((("something" "visits" "dog" "+") ("dog" "visits" "squirrel" "+")) -> ("something" "is" "young" "-"))
If the bald eagle chases the rabbit and the rabbit chases the squirrel then the bald eagle is kind.
((("bald eagle" "chases" "rabbit" "+") ("rabbit" "chases" "squirrel" "+")) -> ("bald eagle" "is" "kind" "+"))
If something chases the bald eagle and it needs the rabbit then the bald eagle visits the squirrel.
((("something" "chases" "bald eagle" "+") ("something" "needs" "rabbit" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If something needs the rabbit and the rabbit visits the bald eagle then it chases the dog.
((("something" "needs" "rabbit" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("something" "chases" "dog" "+"))
If the squirrel is round and the squirrel visits the dog then the dog does not need the squirrel.
((("squirrel" "is" "round" "+") ("squirrel" "visits" "dog" "+")) -> ("dog" "needs" "squirrel" "-"))
If the bald eagle needs the rabbit then the bald eagle does not need the dog.
((("bald eagle" "needs" "rabbit" "+")) -> ("bald eagle" "needs" "dog" "-"))
If something is rough and it visits the squirrel then it is nice.
((("something" "is" "rough" "+") ("something" "visits" "squirrel" "+")) -> ("something" "is" "nice" "+"))
If something chases the dog and it is rough then it visits the bald eagle.
((("something" "chases" "dog" "+") ("something" "is" "rough" "+")) -> ("something" "visits" "bald eagle" "+"))
The rabbit is rough.
True
1
proof
[(triple8)]
("rabbit" "is" "rough" "+")
triple8
The squirrel needs the bald eagle.
False
1
inv-proof
[(triple11)]
("squirrel" "needs" "bald eagle" "+")
triple11
The bald eagle visits the squirrel.
True
3
proof
[(((triple2 triple6) -> rule3))]
("bald eagle" "visits" "squirrel" "+")
((triple2 triple6) -> (rule3 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle does not visit the squirrel.
False
3
inv-proof
[(((triple2 triple6) -> rule3))]
("bald eagle" "visits" "squirrel" "-")
((triple2 triple6) -> (rule3 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The rabbit does not chase the dog.
Unknown
inv-rconc
[@1: The rabbit chases the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "chases" "dog" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "nice" "+")
The rabbit does not visit the squirrel.
Unknown
inv-random
[@0: The rabbit visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "squirrel" "-")
The rabbit visits the dog.
Unknown
random
[@0: The rabbit visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "dog" "+")
@0: The bald eagle visits the rabbit.[(triple1)] The dog chases the bald eagle.[(triple2)] The dog chases the rabbit.[(triple3)] The dog does not visit the bald eagle.[(triple7)] The dog is nice.[(triple4)] The dog is rough.[(triple5)] The dog needs the rabbit.[(triple6)] The rabbit is rough.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The squirrel does not need the bald eagle.[(triple11)] The squirrel does not visit the rabbit.[(triple12)] The squirrel is round.[(triple10)] @1: The bald eagle visits the squirrel.[(((triple2 triple6) -> rule3))]
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple2
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple3
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is rough.
("dog" "is" "rough" "+")
triple5
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple9
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple11
The squirrel does not visit the rabbit.
("squirrel" "visits" "rabbit" "-")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((triple2 triple6) -> (rule3 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1