The bald eagle eats the cat. The bald eagle eats the squirrel. The bald eagle is green. The bald eagle likes the tiger. The cat is green. The cat likes the bald eagle. The squirrel is round. The squirrel is young. The squirrel visits the bald eagle. The tiger is round. The tiger is young. The tiger visits the cat. If something visits the tiger then it is red. If something visits the bald eagle then the bald eagle visits the cat. If the squirrel visits the tiger then the tiger eats the squirrel. If something is young then it visits the tiger. If something is round and red then it is nice. If something eats the bald eagle then the bald eagle eats the tiger.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something visits the tiger then it is red.
((("something" "visits" "tiger" "+")) -> ("something" "is" "red" "+"))
If something visits the bald eagle then the bald eagle visits the cat.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "cat" "+"))
If the squirrel visits the tiger then the tiger eats the squirrel.
((("squirrel" "visits" "tiger" "+")) -> ("tiger" "eats" "squirrel" "+"))
If something is young then it visits the tiger.
((("something" "is" "young" "+")) -> ("something" "visits" "tiger" "+"))
If something is round and red then it is nice.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If something eats the bald eagle then the bald eagle eats the tiger.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
The tiger visits the cat.
True
1
proof
[(triple12)]
("tiger" "visits" "cat" "+")
triple12
The bald eagle does not like the tiger.
False
1
inv-proof
[(triple4)]
("bald eagle" "likes" "tiger" "-")
triple4
The squirrel visits the tiger.
True
2
proof
[(((triple8) -> rule4))]
("squirrel" "visits" "tiger" "+")
((triple8) -> (rule4 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The squirrel does not visit the tiger.
False
2
inv-proof
[(((triple8) -> rule4))]
("squirrel" "visits" "tiger" "-")
((triple8) -> (rule4 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The tiger is red.
True
3
proof
[(((((triple11) -> rule4)) -> rule1))]
("tiger" "is" "red" "+")
((((triple11) -> (rule4 % int2))) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger does not eat the squirrel.
False
3
inv-proof
[(((((triple8) -> rule4)) -> rule3))]
("tiger" "eats" "squirrel" "-")
((((triple8) -> (rule4 % int2))) -> (rule3 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int2
The squirrel is nice.
True
5
proof
[(((triple7 ((((triple8) -> rule4)) -> rule1)) -> rule5))]
("squirrel" "is" "nice" "+")
((triple7 ((((triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int3
The tiger is not nice.
False
5
inv-proof
[(((triple10 ((((triple11) -> rule4)) -> rule1)) -> rule5))]
("tiger" "is" "nice" "-")
((triple10 ((((triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3
The bald eagle does not visit the tiger.
Unknown
inv-rconc
[@1: The bald eagle visits the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "tiger" "-")
The cat is nice.
Unknown
rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "nice" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@2: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle eats the tiger.
Unknown
rconc
[@1: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "eats" "tiger" "+")
The tiger does not visit the squirrel.
Unknown
inv-random
[@0: The tiger visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "squirrel" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The tiger does not eat the bald eagle.
Unknown
inv-random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "-")
The cat likes the squirrel.
Unknown
random
[@0: The cat likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "squirrel" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle likes the tiger.[(triple4)] The cat is green.[(triple5)] The cat likes the bald eagle.[(triple6)] The squirrel is round.[(triple7)] The squirrel is young.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The tiger is round.[(triple10)] The tiger is young.[(triple11)] The tiger visits the cat.[(triple12)] @1: The bald eagle visits the cat.[(((triple9) -> rule2))] The squirrel visits the tiger.[(((triple8) -> rule4))] The tiger visits the tiger.[(((triple11) -> rule4))] @2: The squirrel is red.[(((((triple8) -> rule4)) -> rule1))] The tiger eats the squirrel.[(((((triple8) -> rule4)) -> rule3))] The tiger is red.[(((((triple11) -> rule4)) -> rule1))] @3: The squirrel is nice.[(((triple7 ((((triple8) -> rule4)) -> rule1)) -> rule5))] The tiger is nice.[(((triple10 ((((triple11) -> rule4)) -> rule1)) -> rule5))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The cat is green.
("cat" "is" "green" "+")
triple5
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple9
The tiger is round.
("tiger" "is" "round" "+")
triple10
The tiger is young.
("tiger" "is" "young" "+")
triple11
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple12
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
((triple9) -> (rule2 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
((triple8) -> (rule4 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple11) -> (rule4 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((((triple8) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int2
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
((((triple8) -> (rule4 % int2))) -> (rule3 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
((((triple11) -> (rule4 % int2))) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple7 ((((triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
((triple10 ((((triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3