The bald eagle eats the rabbit. The bald eagle is big. The bald eagle sees the rabbit. The bald eagle sees the squirrel. The lion eats the rabbit. The lion eats the squirrel. The lion is big. The lion is round. The lion sees the bald eagle. The rabbit chases the squirrel. The rabbit is red. The rabbit sees the bald eagle. The rabbit sees the lion. The squirrel chases the bald eagle. The squirrel chases the rabbit. The squirrel sees the bald eagle. If someone chases the squirrel then the squirrel is red. If someone sees the lion and they eat the squirrel then the lion is blue. If someone chases the lion and they eat the lion then the lion sees the bald eagle. If someone is red then they eat the rabbit. If someone eats the rabbit then the rabbit is kind. If someone eats the bald eagle and the bald eagle eats the squirrel then the bald eagle sees the lion.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is round.
("lion" "is" "round" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If someone chases the squirrel then the squirrel is red.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If someone sees the lion and they eat the squirrel then the lion is blue.
((("someone" "sees" "lion" "+") ("someone" "eats" "squirrel" "+")) -> ("lion" "is" "blue" "+"))
If someone chases the lion and they eat the lion then the lion sees the bald eagle.
((("someone" "chases" "lion" "+") ("someone" "eats" "lion" "+")) -> ("lion" "sees" "bald eagle" "+"))
If someone is red then they eat the rabbit.
((("someone" "is" "red" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone eats the rabbit then the rabbit is kind.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If someone eats the bald eagle and the bald eagle eats the squirrel then the bald eagle sees the lion.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "eats" "squirrel" "+")) -> ("bald eagle" "sees" "lion" "+"))
The bald eagle sees the rabbit.
True
1
proof
[(triple3)]
("bald eagle" "sees" "rabbit" "+")
triple3
The squirrel does not chase the rabbit.
False
1
inv-proof
[(triple15)]
("squirrel" "chases" "rabbit" "-")
triple15
The rabbit is kind.
True
2
proof
[(((triple1) -> rule5) OR ((triple5) -> rule5) OR ((((triple11) -> rule4)) -> rule5) OR ((((((triple10) -> rule1)) -> rule4)) -> rule5))]
("rabbit" "is" "kind" "+")
((triple1) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((triple5) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
((((((triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The rabbit does not eat the rabbit.
False
2
inv-proof
[(((triple11) -> rule4))]
("rabbit" "eats" "rabbit" "-")
((triple11) -> (rule4 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The squirrel eats the rabbit.
True
3
proof
[(((((triple10) -> rule1)) -> rule4))]
("squirrel" "eats" "rabbit" "+")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel does not eat the rabbit.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule4))]
("squirrel" "eats" "rabbit" "-")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The bald eagle does not see the lion.
Unknown
inv-rconc
[@1: The bald eagle sees the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "sees" "lion" "-")
The lion is blue.
Unknown
rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "blue" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The bald eagle chases the rabbit.
Unknown
random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The lion eats the rabbit.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is big.[(triple7)] The lion is round.[(triple8)] The lion sees the bald eagle.[(triple9)] The rabbit chases the squirrel.[(triple10)] The rabbit is red.[(triple11)] The rabbit sees the bald eagle.[(triple12)] The rabbit sees the lion.[(triple13)] The squirrel chases the bald eagle.[(triple14)] The squirrel chases the rabbit.[(triple15)] The squirrel sees the bald eagle.[(triple16)] @1: The rabbit eats the rabbit.[(((triple11) -> rule4))] The rabbit is kind.[(((triple1) -> rule5) OR ((triple5) -> rule5) OR ((((triple11) -> rule4)) -> rule5) OR ((((((triple10) -> rule1)) -> rule4)) -> rule5))] The squirrel is red.[(((triple10) -> rule1))] @2: The squirrel eats the rabbit.[(((((triple10) -> rule1)) -> rule4))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple5
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple6
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple9
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple11
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple12
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple13
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple14
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple15
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple16
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple11) -> (rule4 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple1) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((triple5) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
((((((triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
((triple10) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2