The bald eagle eats the dog. The bald eagle eats the tiger. The bald eagle likes the dog. The dog is big. The squirrel eats the bald eagle. The tiger is nice. The tiger likes the squirrel. If someone eats the tiger then the tiger chases the squirrel. If someone chases the squirrel then the squirrel is nice. If the tiger chases the squirrel and the squirrel is red then the squirrel likes the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If someone eats the tiger then the tiger chases the squirrel.
((("someone" "eats" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
If someone chases the squirrel then the squirrel is nice.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
If the tiger chases the squirrel and the squirrel is red then the squirrel likes the bald eagle.
((("tiger" "chases" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
The bald eagle eats the tiger.
True
1
proof
[(triple2)]
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "dog" "-")
triple1
The tiger chases the squirrel.
True
2
proof
[(((triple2) -> rule1))]
("tiger" "chases" "squirrel" "+")
((triple2) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger does not chase the squirrel.
False
2
inv-proof
[(((triple2) -> rule1))]
("tiger" "chases" "squirrel" "-")
((triple2) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel is nice.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("squirrel" "is" "nice" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The squirrel is not nice.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("squirrel" "is" "nice" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The squirrel does not like the bald eagle.
Unknown
inv-rconc
[@1: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "bald eagle" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The dog does not like the bald eagle.
Unknown
inv-random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "-")
The tiger eats the bald eagle.
Unknown
random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle likes the dog.[(triple3)] The dog is big.[(triple4)] The squirrel eats the bald eagle.[(triple5)] The tiger is nice.[(triple6)] The tiger likes the squirrel.[(triple7)] @1: The tiger chases the squirrel.[(((triple2) -> rule1))] @2: The squirrel is nice.[(((((triple2) -> rule1)) -> rule2))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple5
The tiger is nice.
("tiger" "is" "nice" "+")
triple6
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple7
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((triple2) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2