The cat is big. The cat is cold. The cat is kind. The cat is young. The cat likes the rabbit. The cat needs the mouse. The cat sees the mouse. The cat sees the rabbit. The mouse likes the rabbit. The mouse needs the rabbit. The mouse sees the cat. The rabbit is young. The rabbit likes the mouse. The rabbit needs the mouse. The rabbit sees the cat. If the mouse is kind then the mouse likes the cat. If someone needs the rabbit and the rabbit sees the cat then they are kind. If someone sees the mouse and the mouse sees the cat then the mouse likes the cat. If someone needs the cat then the cat is green. If someone is cold then they see the cat. If someone is big and they need the rabbit then they like the mouse.
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If the mouse is kind then the mouse likes the cat.
((("mouse" "is" "kind" "+")) -> ("mouse" "likes" "cat" "+"))
If someone needs the rabbit and the rabbit sees the cat then they are kind.
((("someone" "needs" "rabbit" "+") ("rabbit" "sees" "cat" "+")) -> ("someone" "is" "kind" "+"))
If someone sees the mouse and the mouse sees the cat then the mouse likes the cat.
((("someone" "sees" "mouse" "+") ("mouse" "sees" "cat" "+")) -> ("mouse" "likes" "cat" "+"))
If someone needs the cat then the cat is green.
((("someone" "needs" "cat" "+")) -> ("cat" "is" "green" "+"))
If someone is cold then they see the cat.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "cat" "+"))
If someone is big and they need the rabbit then they like the mouse.
((("someone" "is" "big" "+") ("someone" "needs" "rabbit" "+")) -> ("someone" "likes" "mouse" "+"))
The rabbit likes the mouse.
True
1
proof
[(triple13)]
("rabbit" "likes" "mouse" "+")
triple13
The cat is not young.
False
1
inv-proof
[(triple4)]
("cat" "is" "young" "-")
triple4
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "green" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat is young.[(triple4)] The cat likes the rabbit.[(triple5)] The cat needs the mouse.[(triple6)] The cat sees the mouse.[(triple7)] The cat sees the rabbit.[(triple8)] The mouse likes the rabbit.[(triple9)] The mouse needs the rabbit.[(triple10)] The mouse sees the cat.[(triple11)] The rabbit is young.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit needs the mouse.[(triple14)] The rabbit sees the cat.[(triple15)] @1: The cat sees the cat.[(((triple2) -> rule5))] The mouse is kind.[(((triple10 triple15) -> rule2))] The mouse likes the cat.[(((triple7 triple11) -> rule3) OR ((((triple10 triple15) -> rule2)) -> rule1))]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple5
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple6
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple7
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple8
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple9
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple10
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple11
The rabbit is young.
("rabbit" "is" "young" "+")
triple12
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple13
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple14
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple15
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple2) -> (rule5 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple10 triple15) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the cat.
("mouse" "likes" "cat" "+")
((triple7 triple11) -> (rule3 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
((((triple10 triple15) -> (rule2 % int2))) -> (rule1 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2