The bald eagle is big. The dog sees the squirrel. The rabbit chases the bald eagle. The squirrel sees the dog. If something likes the dog and the dog likes the squirrel then the squirrel sees the bald eagle. If something chases the bald eagle then the bald eagle likes the rabbit. If something is big then it chases the squirrel. If something likes the rabbit then the rabbit is big. If something is red then it chases the bald eagle. If something chases the dog then it is nice.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something likes the dog and the dog likes the squirrel then the squirrel sees the bald eagle.
((("something" "likes" "dog" "+") ("dog" "likes" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If something chases the bald eagle then the bald eagle likes the rabbit.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If something is big then it chases the squirrel.
((("something" "is" "big" "+")) -> ("something" "chases" "squirrel" "+"))
If something likes the rabbit then the rabbit is big.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
If something is red then it chases the bald eagle.
((("something" "is" "red" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the dog then it is nice.
((("something" "chases" "dog" "+")) -> ("something" "is" "nice" "+"))
The squirrel sees the dog.
True
1
proof
[(triple4)]
("squirrel" "sees" "dog" "+")
triple4
The squirrel does not see the dog.
False
1
inv-proof
[(triple4)]
("squirrel" "sees" "dog" "-")
triple4
The bald eagle chases the squirrel.
True
2
proof
[(((triple1) -> rule3))]
("bald eagle" "chases" "squirrel" "+")
((triple1) -> (rule3 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle does not chase the squirrel.
False
2
inv-proof
[(((triple1) -> rule3))]
("bald eagle" "chases" "squirrel" "-")
((triple1) -> (rule3 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The rabbit is big.
True
3
proof
[(((((triple3) -> rule2)) -> rule4))]
("rabbit" "is" "big" "+")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit is not big.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule4))]
("rabbit" "is" "big" "-")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit chases the squirrel.
True
4
proof
[(((((((triple3) -> rule2)) -> rule4)) -> rule3))]
("rabbit" "chases" "squirrel" "+")
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The rabbit does not chase the squirrel.
False
4
inv-proof
[(((((((triple3) -> rule2)) -> rule4)) -> rule3))]
("rabbit" "chases" "squirrel" "-")
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The dog does not chase the bald eagle.
Unknown
inv-rconc
[@1: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "chases" "bald eagle" "-")
The dog chases the squirrel.
Unknown
rconc
[@1: The dog chases the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "squirrel" "+")
The squirrel does not chase the bald eagle.
Unknown
inv-rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The squirrel does not chase the dog.
Unknown
inv-random
[@0: The squirrel chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "dog" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bald eagle is big.[(triple1)] The dog sees the squirrel.[(triple2)] The rabbit chases the bald eagle.[(triple3)] The squirrel sees the dog.[(triple4)] @1: The bald eagle chases the squirrel.[(((triple1) -> rule3))] The bald eagle likes the rabbit.[(((triple3) -> rule2))] @2: The rabbit is big.[(((((triple3) -> rule2)) -> rule4))] @3: The rabbit chases the squirrel.[(((((((triple3) -> rule2)) -> rule4)) -> rule3))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple2
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple3
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple4
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((triple1) -> (rule3 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple3) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3