The dog chases the mouse. The dog is cold. The dog is round. The dog is young. The dog needs the mouse. The dog visits the mouse. The mouse chases the dog. The mouse is cold. The mouse is green. The mouse visits the dog. If someone is round and they chase the dog then they visit the dog. If someone needs the dog then the dog chases the mouse. If someone is young then they chase the dog.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If someone is round and they chase the dog then they visit the dog.
((("someone" "is" "round" "+") ("someone" "chases" "dog" "+")) -> ("someone" "visits" "dog" "+"))
If someone needs the dog then the dog chases the mouse.
((("someone" "needs" "dog" "+")) -> ("dog" "chases" "mouse" "+"))
If someone is young then they chase the dog.
((("someone" "is" "young" "+")) -> ("someone" "chases" "dog" "+"))
The dog needs the mouse.
True
1
proof
[(triple5)]
("dog" "needs" "mouse" "+")
triple5
The mouse is not cold.
False
1
inv-proof
[(triple8)]
("mouse" "is" "cold" "-")
triple8
The dog chases the dog.
True
2
proof
[(((triple4) -> rule3))]
("dog" "chases" "dog" "+")
((triple4) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not chase the dog.
False
2
inv-proof
[(((triple4) -> rule3))]
("dog" "chases" "dog" "-")
((triple4) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the dog.
True
4
proof
[(((triple3 ((triple4) -> rule3)) -> rule1))]
("dog" "visits" "dog" "+")
((triple3 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog does not visit the dog.
False
4
inv-proof
[(((triple3 ((triple4) -> rule3)) -> rule1))]
("dog" "visits" "dog" "-")
((triple3 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse does not need the dog.
Unknown
inv-random
[@0: The mouse needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "dog" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The dog chases the mouse.[(triple1)] The dog is cold.[(triple2)] The dog is round.[(triple3)] The dog is young.[(triple4)] The dog needs the mouse.[(triple5)] The dog visits the mouse.[(triple6)] The mouse chases the dog.[(triple7)] The mouse is cold.[(triple8)] The mouse is green.[(triple9)] The mouse visits the dog.[(triple10)] @1: The dog chases the dog.[(((triple4) -> rule3))] @2: The dog visits the dog.[(((triple3 ((triple4) -> rule3)) -> rule1))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple5
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple6
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple9
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple10
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple4) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple3 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2