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