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