The bald eagle chases the rabbit. The bald eagle chases the squirrel. The bald eagle needs the rabbit. The bald eagle needs the squirrel. The bald eagle sees the rabbit. The rabbit chases the bald eagle. The rabbit needs the bald eagle. The squirrel chases the bald eagle. The squirrel needs the bald eagle. The squirrel sees the bald eagle. If someone needs the squirrel then the squirrel needs the bald eagle. If the bald eagle sees the rabbit then the rabbit is cold. If the bald eagle needs the squirrel and the squirrel sees the bald eagle then the squirrel sees the rabbit. If someone needs the squirrel and the squirrel is kind then they are nice. If the squirrel sees the rabbit then the rabbit needs the squirrel. If the bald eagle sees the rabbit and the rabbit needs the squirrel then the squirrel is blue. If someone is blue and cold then they chase the rabbit. If someone is kind and they see the squirrel then they need the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If someone needs the squirrel then the squirrel needs the bald eagle.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If the bald eagle sees the rabbit then the rabbit is cold.
((("bald eagle" "sees" "rabbit" "+")) -> ("rabbit" "is" "cold" "+"))
If the bald eagle needs the squirrel and the squirrel sees the bald eagle then the squirrel sees the rabbit.
((("bald eagle" "needs" "squirrel" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("squirrel" "sees" "rabbit" "+"))
If someone needs the squirrel and the squirrel is kind then they are nice.
((("someone" "needs" "squirrel" "+") ("squirrel" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If the squirrel sees the rabbit then the rabbit needs the squirrel.
((("squirrel" "sees" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If the bald eagle sees the rabbit and the rabbit needs the squirrel then the squirrel is blue.
((("bald eagle" "sees" "rabbit" "+") ("rabbit" "needs" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If someone is blue and cold then they chase the rabbit.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone is kind and they see the squirrel then they need the bald eagle.
((("someone" "is" "kind" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "needs" "bald eagle" "+"))
The rabbit needs the bald eagle.
True
1
proof
[(triple7)]
("rabbit" "needs" "bald eagle" "+")
triple7
The squirrel does not need the bald eagle.
False
1
inv-proof
[(triple9 OR ((triple4) -> rule1) OR ((((((triple4 triple10) -> rule3)) -> rule5)) -> rule1))]
("squirrel" "needs" "bald eagle" "-")
triple9
((triple4) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
((((((triple4 triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int3
The rabbit is cold.
True
2
proof
[(((triple5) -> rule2))]
("rabbit" "is" "cold" "+")
((triple5) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The squirrel does not see the rabbit.
False
3
inv-proof
[(((triple4 triple10) -> rule3))]
("squirrel" "sees" "rabbit" "-")
((triple4 triple10) -> (rule3 % int1))
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int1
The rabbit needs the squirrel.
True
4
proof
[(((((triple4 triple10) -> rule3)) -> rule5))]
("rabbit" "needs" "squirrel" "+")
((((triple4 triple10) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int2
The rabbit does not need the squirrel.
False
4
inv-proof
[(((((triple4 triple10) -> rule3)) -> rule5))]
("rabbit" "needs" "squirrel" "-")
((((triple4 triple10) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int2
The squirrel is blue.
True
6
proof
[(((triple5 ((((triple4 triple10) -> rule3)) -> rule5)) -> rule6))]
("squirrel" "is" "blue" "+")
((triple5 ((((triple4 triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int3
The squirrel is not blue.
False
6
inv-proof
[(((triple5 ((((triple4 triple10) -> rule3)) -> rule5)) -> rule6))]
("squirrel" "is" "blue" "-")
((triple5 ((((triple4 triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int3
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "nice" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The rabbit does not see the squirrel.
Unknown
inv-random
[@0: The rabbit sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "squirrel" "-")
The bald eagle sees the squirrel.
Unknown
random
[@0: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "squirrel" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bald eagle sees the rabbit.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit needs the bald eagle.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel needs the bald eagle.[(triple9 OR ((triple4) -> rule1) OR ((((((triple4 triple10) -> rule3)) -> rule5)) -> rule1))] The squirrel sees the bald eagle.[(triple10)] @1: The rabbit is cold.[(((triple5) -> rule2))] The squirrel sees the rabbit.[(((triple4 triple10) -> rule3))] @2: The rabbit needs the squirrel.[(((((triple4 triple10) -> rule3)) -> rule5))] @3: The squirrel is blue.[(((triple5 ((((triple4 triple10) -> rule3)) -> rule5)) -> rule6))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple5
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple6
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple7
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple8
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple9
((triple4) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
((((((triple4 triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple5) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
((triple4 triple10) -> (rule3 % int1))
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
((((triple4 triple10) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple5 ((((triple4 triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int3