The dog is green. The dog is kind. The mouse chases the dog. The mouse is cold. The squirrel chases the dog. The squirrel eats the dog. The squirrel needs the dog. The squirrel needs the mouse. The tiger chases the squirrel. The tiger eats the squirrel. The tiger needs the dog. The tiger needs the mouse. Round people are cold. If someone eats the dog then the dog eats the tiger.
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone eats the dog then the dog eats the tiger.
((("someone" "eats" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
The tiger eats the squirrel.
True
1
proof
[(triple10)]
("tiger" "eats" "squirrel" "+")
triple10
The mouse does not chase the dog.
False
1
inv-proof
[(triple3)]
("mouse" "chases" "dog" "-")
triple3
The dog eats the tiger.
True
2
proof
[(((triple6) -> rule2))]
("dog" "eats" "tiger" "+")
((triple6) -> (rule2 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The dog does not eat the tiger.
False
2
inv-proof
[(((triple6) -> rule2))]
("dog" "eats" "tiger" "-")
((triple6) -> (rule2 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The tiger is not cold.
Unknown
inv-rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "cold" "-")
The squirrel is cold.
Unknown
rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "cold" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The dog is green.[(triple1)] The dog is kind.[(triple2)] The mouse chases the dog.[(triple3)] The mouse is cold.[(triple4)] The squirrel chases the dog.[(triple5)] The squirrel eats the dog.[(triple6)] The squirrel needs the dog.[(triple7)] The squirrel needs the mouse.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger needs the dog.[(triple11)] The tiger needs the mouse.[(triple12)] @1: The dog eats the tiger.[(((triple6) -> rule2))]
The dog is green.
("dog" "is" "green" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple3
The mouse is cold.
("mouse" "is" "cold" "+")
triple4
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple5
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple6
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple7
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple8
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple9
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple10
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple11
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple12
The dog eats the tiger.
("dog" "eats" "tiger" "+")
((triple6) -> (rule2 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1