The bald eagle needs the squirrel. The squirrel chases the bald eagle. The tiger visits the bald eagle. If the squirrel needs the tiger then the tiger is round. If something chases the bald eagle and the bald eagle is nice then the bald eagle visits the tiger. If something chases the bald eagle then the bald eagle chases the tiger. If the bald eagle is nice and the bald eagle needs the tiger then the bald eagle visits the tiger. If something needs the squirrel then it is nice. If the tiger chases the squirrel and the squirrel chases the tiger then the squirrel visits the bald eagle.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If the squirrel needs the tiger then the tiger is round.
((("squirrel" "needs" "tiger" "+")) -> ("tiger" "is" "round" "+"))
If something chases the bald eagle and the bald eagle is nice then the bald eagle visits the tiger.
((("something" "chases" "bald eagle" "+") ("bald eagle" "is" "nice" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If something chases the bald eagle then the bald eagle chases the tiger.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If the bald eagle is nice and the bald eagle needs the tiger then the bald eagle visits the tiger.
((("bald eagle" "is" "nice" "+") ("bald eagle" "needs" "tiger" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If something needs the squirrel then it is nice.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "nice" "+"))
If the tiger chases the squirrel and the squirrel chases the tiger then the squirrel visits the bald eagle.
((("tiger" "chases" "squirrel" "+") ("squirrel" "chases" "tiger" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
The bald eagle needs the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "needs" "squirrel" "+")
triple1
The tiger does not visit the bald eagle.
False
1
inv-proof
[(triple3)]
("tiger" "visits" "bald eagle" "-")
triple3
The bald eagle is nice.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "is" "nice" "+")
((triple1) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle does not chase the tiger.
False
2
inv-proof
[(((triple2) -> rule3))]
("bald eagle" "chases" "tiger" "-")
((triple2) -> (rule3 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle visits the tiger.
True
4
proof
[(((triple2 ((triple1) -> rule5)) -> rule2))]
("bald eagle" "visits" "tiger" "+")
((triple2 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle does not visit the tiger.
False
4
inv-proof
[(((triple2 ((triple1) -> rule5)) -> rule2))]
("bald eagle" "visits" "tiger" "-")
((triple2 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The squirrel does not visit the bald eagle.
Unknown
inv-rconc
[@1: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "bald eagle" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "nice" "+")
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "round" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The squirrel chases the bald eagle.[(triple2)] The tiger visits the bald eagle.[(triple3)] @1: The bald eagle chases the tiger.[(((triple2) -> rule3))] The bald eagle is nice.[(((triple1) -> rule5))] @2: The bald eagle visits the tiger.[(((triple2 ((triple1) -> rule5)) -> rule2))]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple3
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
((triple2) -> (rule3 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple1) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
((triple2 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2