The bald eagle is kind. The bald eagle is nice. The bald eagle needs the tiger. The cow is kind. The cow visits the squirrel. The squirrel likes the tiger. The tiger visits the bald eagle. If someone needs the bald eagle and they need the tiger then they like the bald eagle. If someone is kind then they like the tiger. If someone likes the tiger then they visit the cow. If someone is kind and they like the squirrel then they are red. If someone needs the cow then they like the cow. If the bald eagle visits the tiger and the bald eagle likes the cow then the cow visits the bald eagle.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone needs the bald eagle and they need the tiger then they like the bald eagle.
((("someone" "needs" "bald eagle" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is kind then they like the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the tiger then they visit the cow.
((("someone" "likes" "tiger" "+")) -> ("someone" "visits" "cow" "+"))
If someone is kind and they like the squirrel then they are red.
((("someone" "is" "kind" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "is" "red" "+"))
If someone needs the cow then they like the cow.
((("someone" "needs" "cow" "+")) -> ("someone" "likes" "cow" "+"))
If the bald eagle visits the tiger and the bald eagle likes the cow then the cow visits the bald eagle.
((("bald eagle" "visits" "tiger" "+") ("bald eagle" "likes" "cow" "+")) -> ("cow" "visits" "bald eagle" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple3)]
("bald eagle" "needs" "tiger" "+")
triple3
The cow does not visit the squirrel.
False
1
inv-proof
[(triple5)]
("cow" "visits" "squirrel" "-")
triple5
The squirrel visits the cow.
True
2
proof
[(((triple6) -> rule3))]
("squirrel" "visits" "cow" "+")
((triple6) -> (rule3 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The cow does not like the tiger.
False
2
inv-proof
[(((triple4) -> rule2))]
("cow" "likes" "tiger" "-")
((triple4) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow visits the cow.
True
3
proof
[(((((triple4) -> rule2)) -> rule3))]
("cow" "visits" "cow" "+")
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int2
The bald eagle does not visit the cow.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule3))]
("bald eagle" "visits" "cow" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The tiger does not like the bald eagle.
Unknown
inv-rconc
[@1: The tiger likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "bald eagle" "-")
The tiger is red.
Unknown
rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "red" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "red" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle needs the tiger.[(triple3)] The cow is kind.[(triple4)] The cow visits the squirrel.[(triple5)] The squirrel likes the tiger.[(triple6)] The tiger visits the bald eagle.[(triple7)] @1: The bald eagle likes the tiger.[(((triple1) -> rule2))] The cow likes the tiger.[(((triple4) -> rule2))] The squirrel visits the cow.[(((triple6) -> rule3))] @2: The bald eagle visits the cow.[(((((triple1) -> rule2)) -> rule3))] The cow visits the cow.[(((((triple4) -> rule2)) -> rule3))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple5
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple6
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple7
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
((triple4) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((triple6) -> (rule3 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int2