The bald eagle likes the squirrel. The dog is young. The rabbit is green. The rabbit likes the squirrel. The squirrel likes the dog. The squirrel needs the dog. The squirrel visits the rabbit. If something likes the rabbit then the rabbit likes the dog. If something likes the squirrel and the squirrel is big then it needs the dog. If the bald eagle needs the squirrel then the bald eagle visits the rabbit. If something likes the squirrel then it likes the rabbit. If something is young and it needs the rabbit then the rabbit likes the squirrel. If something needs the dog then the dog is green. If something needs the rabbit then it needs the dog. If the rabbit is big then the rabbit visits the dog.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The dog is young.
("dog" "is" "young" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something likes the rabbit then the rabbit likes the dog.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "likes" "dog" "+"))
If something likes the squirrel and the squirrel is big then it needs the dog.
((("something" "likes" "squirrel" "+") ("squirrel" "is" "big" "+")) -> ("something" "needs" "dog" "+"))
If the bald eagle needs the squirrel then the bald eagle visits the rabbit.
((("bald eagle" "needs" "squirrel" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
If something likes the squirrel then it likes the rabbit.
((("something" "likes" "squirrel" "+")) -> ("something" "likes" "rabbit" "+"))
If something is young and it needs the rabbit then the rabbit likes the squirrel.
((("something" "is" "young" "+") ("something" "needs" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "+"))
If something needs the dog then the dog is green.
((("something" "needs" "dog" "+")) -> ("dog" "is" "green" "+"))
If something needs the rabbit then it needs the dog.
((("something" "needs" "rabbit" "+")) -> ("something" "needs" "dog" "+"))
If the rabbit is big then the rabbit visits the dog.
((("rabbit" "is" "big" "+")) -> ("rabbit" "visits" "dog" "+"))
The dog is young.
True
1
proof
[(triple2)]
("dog" "is" "young" "+")
triple2
The bald eagle does not like the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "squirrel" "-")
triple1
The bald eagle likes the rabbit.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "likes" "rabbit" "+")
((triple1) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The dog is not green.
False
2
inv-proof
[(((triple6) -> rule6))]
("dog" "is" "green" "-")
((triple6) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The rabbit likes the dog.
True
3
proof
[(((((triple1) -> rule4)) -> rule1) OR ((((triple4) -> rule4)) -> rule1))]
("rabbit" "likes" "dog" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit does not like the dog.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule1) OR ((((triple4) -> rule4)) -> rule1))]
("rabbit" "likes" "dog" "-")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "dog" "-")
The rabbit visits the dog.
Unknown
rconc
[@1: The rabbit visits the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "visits" "dog" "+")
The bald eagle does not visit the rabbit.
Unknown
inv-rconc
[@1: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The dog does not need the bald eagle.
Unknown
inv-random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "-")
The dog visits the squirrel.
Unknown
random
[@0: The dog visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "squirrel" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The dog is young.[(triple2)] The rabbit is green.[(triple3)] The rabbit likes the squirrel.[(triple4)] The squirrel likes the dog.[(triple5)] The squirrel needs the dog.[(triple6)] The squirrel visits the rabbit.[(triple7)] @1: The bald eagle likes the rabbit.[(((triple1) -> rule4))] The dog is green.[(((triple6) -> rule6))] The rabbit likes the rabbit.[(((triple4) -> rule4))] @2: The rabbit likes the dog.[(((((triple1) -> rule4)) -> rule1) OR ((((triple4) -> rule4)) -> rule1))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The dog is young.
("dog" "is" "young" "+")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple4
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple5
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple6
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple7
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple1) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((triple6) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple4) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2