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