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