The cat is big. The cat likes the rabbit. The mouse chases the cat. The mouse chases the rabbit. The mouse likes the cat. The rabbit chases the mouse. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit likes the mouse. The rabbit needs the cat. If someone is cold then they like the rabbit. If someone needs the mouse and they are kind then the mouse is cold. If someone chases the rabbit then they like the mouse. If someone is round then they like the cat. If the rabbit is kind and the rabbit chases the cat then the rabbit likes the cat. All cold, kind people are round.
The cat is big.
("cat" "is" "big" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If someone is cold then they like the rabbit.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone needs the mouse and they are kind then the mouse is cold.
((("someone" "needs" "mouse" "+") ("someone" "is" "kind" "+")) -> ("mouse" "is" "cold" "+"))
If someone chases the rabbit then they like the mouse.
((("someone" "chases" "rabbit" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is round then they like the cat.
((("someone" "is" "round" "+")) -> ("someone" "likes" "cat" "+"))
If the rabbit is kind and the rabbit chases the cat then the rabbit likes the cat.
((("rabbit" "is" "kind" "+") ("rabbit" "chases" "cat" "+")) -> ("rabbit" "likes" "cat" "+"))
All cold, kind people are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
The rabbit chases the mouse.
True
1
proof
[(triple6)]
("rabbit" "chases" "mouse" "+")
triple6
The cat does not like the rabbit.
False
1
inv-proof
[(triple2)]
("cat" "likes" "rabbit" "-")
triple2
The mouse likes the mouse.
True
2
proof
[(((triple4) -> rule3))]
("mouse" "likes" "mouse" "+")
((triple4) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The rabbit is not round.
False
3
inv-proof
[(((triple9 triple10) -> rule6))]
("rabbit" "is" "round" "-")
((triple9 triple10) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The mouse does not like the rabbit.
Unknown
inv-rconc
[@2: The mouse likes the rabbit.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("mouse" "likes" "rabbit" "-")
The mouse is cold.
Unknown
rconc
[@1: The mouse is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "cold" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
@0: The cat is big.[(triple1)] The cat likes the rabbit.[(triple2)] The mouse chases the cat.[(triple3)] The mouse chases the rabbit.[(triple4)] The mouse likes the cat.[(triple5)] The rabbit chases the mouse.[(triple6)] The rabbit is big.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is kind.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit needs the cat.[(triple12)] @1: The mouse likes the mouse.[(((triple4) -> rule3))] The rabbit is round.[(((triple9 triple10) -> rule6))] The rabbit likes the rabbit.[(((triple9) -> rule1))] @2: The rabbit likes the cat.[(((((triple9 triple10) -> rule6)) -> rule4))]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple2
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple3
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple4
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple5
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple11
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple12
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple4) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple9 triple10) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple9) -> (rule1 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
((((triple9 triple10) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2