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