The bear chases the rabbit. The bear does not eat the rabbit. The bear is not big. The bear is cold. The bear is green. The bear is nice. The bear is not round. The bear needs the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is not big. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit needs the bear. If someone eats the rabbit then the rabbit is round. If someone is nice and green then they need the bear. If someone needs the rabbit and they need the bear then they eat the bear.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
The bear is not big.
("bear" "is" "big" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is not big.
("rabbit" "is" "big" "-")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If someone eats the rabbit then the rabbit is round.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If someone is nice and green then they need the bear.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "needs" "bear" "+"))
If someone needs the rabbit and they need the bear then they eat the bear.
((("someone" "needs" "rabbit" "+") ("someone" "needs" "bear" "+")) -> ("someone" "eats" "bear" "+"))
The rabbit is nice.
True
1
proof
[(triple14)]
("rabbit" "is" "nice" "+")
triple14
The rabbit does not need the bear.
False
1
inv-proof
[(triple15 OR ((triple14 triple13) -> rule2))]
("rabbit" "needs" "bear" "-")
triple15
((triple14 triple13) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The bear needs the bear.
True
3
proof
[(((triple6 triple5) -> rule2))]
("bear" "needs" "bear" "+")
((triple6 triple5) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not need the bear.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("bear" "needs" "bear" "-")
((triple6 triple5) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear eats the bear.
True
5
proof
[(((triple8 ((triple6 triple5) -> rule2)) -> rule3))]
("bear" "eats" "bear" "+")
((triple8 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear does not eat the bear.
False
5
inv-proof
[(((triple8 ((triple6 triple5) -> rule2)) -> rule3))]
("bear" "eats" "bear" "-")
((triple8 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "round" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the rabbit.[(triple1)] The bear does not eat the rabbit.[(triple2)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is nice.[(triple6)] The bear is not big.[(triple3)] The bear is not round.[(triple7)] The bear needs the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit is cold.[(triple12)] The rabbit is green.[(triple13)] The rabbit is nice.[(triple14)] The rabbit is not big.[(triple11)] The rabbit needs the bear.[(triple15 OR ((triple14 triple13) -> rule2))] @1: The bear needs the bear.[(((triple6 triple5) -> rule2))] @2: The bear eats the bear.[(((triple8 ((triple6 triple5) -> rule2)) -> rule3))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear is not big.
("bear" "is" "big" "-")
triple3
The bear is not round.
("bear" "is" "round" "-")
triple7
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple8
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple9
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
triple13
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple14
The rabbit is not big.
("rabbit" "is" "big" "-")
triple11
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple15
((triple14 triple13) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple6 triple5) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple8 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2