The cat needs the mouse. The dog needs the cat. The mouse eats the cat. If someone needs the mouse then they are cold.
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
If someone needs the mouse then they are cold.
((("someone" "needs" "mouse" "+")) -> ("someone" "is" "cold" "+"))
The dog needs the cat.
True
1
proof
[(triple2)]
("dog" "needs" "cat" "+")
triple2
The mouse does not eat the cat.
False
1
inv-proof
[(triple3)]
("mouse" "eats" "cat" "-")
triple3
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "cold" "-")
The dog chases the mouse.
Unknown
random
[@0: The dog chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "mouse" "+")
@0: The cat needs the mouse.[(triple1)] The dog needs the cat.[(triple2)] The mouse eats the cat.[(triple3)] @1: The cat is cold.[(((triple1) -> rule1))]
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple1
The dog needs the cat.
("dog" "needs" "cat" "+")
triple2
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
((triple1) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1