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