The dog is blue. The dog is green. The dog is red. The dog likes the mouse. The dog needs the mouse. The dog sees the mouse. The mouse is cold. The mouse is green. The mouse is kind. The mouse likes the dog. The mouse needs the dog. The mouse sees the dog. If someone needs the dog and they are green then the dog is kind. If someone is kind and they like the mouse then they see the dog.
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone needs the dog and they are green then the dog is kind.
((("someone" "needs" "dog" "+") ("someone" "is" "green" "+")) -> ("dog" "is" "kind" "+"))
If someone is kind and they like the mouse then they see the dog.
((("someone" "is" "kind" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "sees" "dog" "+"))
The mouse is cold.
True
1
proof
[(triple7)]
("mouse" "is" "cold" "+")
triple7
The dog does not like the mouse.
False
1
inv-proof
[(triple4)]
("dog" "likes" "mouse" "-")
triple4
The dog is kind.
True
3
proof
[(((triple11 triple8) -> rule1))]
("dog" "is" "kind" "+")
((triple11 triple8) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
3
inv-proof
[(((triple11 triple8) -> rule1))]
("dog" "is" "kind" "-")
((triple11 triple8) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The dog is blue.[(triple1)] The dog is green.[(triple2)] The dog is red.[(triple3)] The dog likes the mouse.[(triple4)] The dog needs the mouse.[(triple5)] The dog sees the mouse.[(triple6)] The mouse is cold.[(triple7)] The mouse is green.[(triple8)] The mouse is kind.[(triple9)] The mouse likes the dog.[(triple10)] The mouse needs the dog.[(triple11)] The mouse sees the dog.[(triple12)] @1: The dog is kind.[(((triple11 triple8) -> rule1))] @2: The dog sees the dog.[(((((triple11 triple8) -> rule1) triple4) -> rule2))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple4
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple5
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple6
The mouse is cold.
("mouse" "is" "cold" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple10
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple11
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
((triple11 triple8) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((((triple11 triple8) -> (rule1 % int2)) triple4) -> (rule2 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2