The cat is green. The cat is kind. The cat likes the mouse. The cat sees the rabbit. The mouse eats the cat. The mouse is kind. The mouse is round. The mouse sees the rabbit. The rabbit eats the cat. The rabbit eats the mouse. The rabbit is cold. The rabbit likes the cat. The rabbit likes the mouse. The rabbit sees the cat. The rabbit sees the mouse. If the cat is cold then the cat is kind. If the mouse sees the rabbit and the rabbit is blue then the rabbit is round. If something is blue and green then it likes the cat. If something eats the mouse then it is kind. If something eats the mouse and the mouse likes the rabbit then the mouse sees the rabbit. If something eats the rabbit and it likes the mouse then the mouse is blue.
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If the cat is cold then the cat is kind.
((("cat" "is" "cold" "+")) -> ("cat" "is" "kind" "+"))
If the mouse sees the rabbit and the rabbit is blue then the rabbit is round.
((("mouse" "sees" "rabbit" "+") ("rabbit" "is" "blue" "+")) -> ("rabbit" "is" "round" "+"))
If something is blue and green then it likes the cat.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "likes" "cat" "+"))
If something eats the mouse then it is kind.
((("something" "eats" "mouse" "+")) -> ("something" "is" "kind" "+"))
If something eats the mouse and the mouse likes the rabbit then the mouse sees the rabbit.
((("something" "eats" "mouse" "+") ("mouse" "likes" "rabbit" "+")) -> ("mouse" "sees" "rabbit" "+"))
If something eats the rabbit and it likes the mouse then the mouse is blue.
((("something" "eats" "rabbit" "+") ("something" "likes" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
The cat is kind.
True
1
proof
[(triple2)]
("cat" "is" "kind" "+")
triple2
The rabbit does not see the mouse.
False
1
inv-proof
[(triple15)]
("rabbit" "sees" "mouse" "-")
triple15
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "round" "-")
The mouse likes the rabbit.
Unknown
random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "+")
@0: The cat is green.[(triple1)] The cat is kind.[(triple2)] The cat likes the mouse.[(triple3)] The cat sees the rabbit.[(triple4)] The mouse eats the cat.[(triple5)] The mouse is kind.[(triple6)] The mouse is round.[(triple7)] The mouse sees the rabbit.[(triple8)] The rabbit eats the cat.[(triple9)] The rabbit eats the mouse.[(triple10)] The rabbit is cold.[(triple11)] The rabbit likes the cat.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit sees the cat.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The rabbit is kind.[(((triple10) -> rule4))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple4
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple8
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple9
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple11
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple12
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple13
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple14
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple15
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple10) -> (rule4 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1