The bald eagle likes the rabbit. The dog eats the squirrel. The dog is big. The rabbit eats the squirrel. The rabbit is green. The squirrel is green. The squirrel visits the bald eagle. If someone likes the rabbit and they do not like the dog then the rabbit does not like the squirrel. If someone is big then they eat the bald eagle. If someone is big and they eat the bald eagle then they are cold. If someone likes the rabbit and they visit the squirrel then they visit the rabbit. If someone visits the bald eagle and the bald eagle is kind then the bald eagle is not big. If someone visits the bald eagle and they are not round then the bald eagle does not visit the rabbit.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone likes the rabbit and they do not like the dog then the rabbit does not like the squirrel.
((("someone" "likes" "rabbit" "+") ("someone" "likes" "dog" "~")) -> ("rabbit" "likes" "squirrel" "-"))
If someone is big then they eat the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is big and they eat the bald eagle then they are cold.
((("someone" "is" "big" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "cold" "+"))
If someone likes the rabbit and they visit the squirrel then they visit the rabbit.
((("someone" "likes" "rabbit" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone visits the bald eagle and the bald eagle is kind then the bald eagle is not big.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("bald eagle" "is" "big" "-"))
If someone visits the bald eagle and they are not round then the bald eagle does not visit the rabbit.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "round" "~")) -> ("bald eagle" "visits" "rabbit" "-"))
The bald eagle likes the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "likes" "rabbit" "+")
triple1
The bald eagle does not like the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "rabbit" "-")
triple1
The dog eats the bald eagle.
True
2
proof
[(((triple3) -> rule2))]
("dog" "eats" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog does not eat the bald eagle.
False
2
inv-proof
[(((triple3) -> rule2))]
("dog" "eats" "bald eagle" "-")
((triple3) -> (rule2 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "cold" "-")
The rabbit eats the bald eagle.
Unknown
rconc
[@1: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "bald eagle" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel visits the dog.
Unknown
random
[@0: The squirrel visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "dog" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is big.[(triple3)] The rabbit eats the squirrel.[(triple4)] The rabbit is green.[(triple5)] The squirrel is green.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The dog eats the bald eagle.[(((triple3) -> rule2))] @2: The dog is cold.[(((triple3 ((triple3) -> rule2)) -> rule3))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple4
The rabbit is green.
("rabbit" "is" "green" "+")
triple5
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple7
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2