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