The dog eats the mouse. The dog is cold. The dog is green. The dog is not rough. The dog needs the mouse. The dog needs the tiger. The mouse eats the dog. The mouse is blue. The tiger eats the dog. The tiger is green. The tiger is not kind. The tiger needs the mouse. If someone needs the mouse and they do not need the tiger then the tiger eats the mouse. If someone eats the dog then the dog is blue.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone needs the mouse and they do not need the tiger then the tiger eats the mouse.
((("someone" "needs" "mouse" "+") ("someone" "needs" "tiger" "~")) -> ("tiger" "eats" "mouse" "+"))
If someone eats the dog then the dog is blue.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "blue" "+"))
The dog is green.
True
1
proof
[(triple3)]
("dog" "is" "green" "+")
triple3
The tiger does not need the mouse.
False
1
inv-proof
[(triple12)]
("tiger" "needs" "mouse" "-")
triple12
The dog is blue.
True
2
proof
[(((triple7) -> rule2) OR ((triple9) -> rule2))]
("dog" "is" "blue" "+")
((triple7) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((triple9) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is not blue.
False
2
inv-proof
[(((triple7) -> rule2) OR ((triple9) -> rule2))]
("dog" "is" "blue" "-")
((triple7) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((triple9) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The tiger does not eat the mouse.
Unknown
inv-rconc
[@1: The tiger eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "mouse" "-")
The mouse likes the tiger.
Unknown
random
[@0: The mouse likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "tiger" "+")
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 tiger likes the dog.
Unknown
random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "+")
@0: The dog eats the mouse.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is not rough.[(triple4)] The dog needs the mouse.[(triple5)] The dog needs the tiger.[(triple6)] The mouse eats the dog.[(triple7)] The mouse is blue.[(triple8)] The tiger eats the dog.[(triple9)] The tiger is green.[(triple10)] The tiger is not kind.[(triple11)] The tiger needs the mouse.[(triple12)] @1: The dog is blue.[(((triple7) -> rule2) OR ((triple9) -> rule2))]
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is not rough.
("dog" "is" "rough" "-")
triple4
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple6
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is not kind.
("tiger" "is" "kind" "-")
triple11
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple12
The dog is blue.
("dog" "is" "blue" "+")
((triple7) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((triple9) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1