The dog chases the mouse. The dog eats the mouse. The dog is blue. The dog is green. The dog is kind. The dog is round. The dog is young. The dog sees the mouse. The mouse chases the dog. The mouse eats the dog. The mouse is blue. The mouse is kind. The mouse is round. The mouse is young. The mouse sees the dog. If someone is round and they eat the mouse then they eat the dog. If someone is young and round then they chase the dog.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone is round and they eat the mouse then they eat the dog.
((("someone" "is" "round" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "eats" "dog" "+"))
If someone is young and round then they chase the dog.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "chases" "dog" "+"))
The dog sees the mouse.
True
1
proof
[(triple8)]
("dog" "sees" "mouse" "+")
triple8
The mouse does not chase the dog.
False
1
inv-proof
[(triple9 OR ((triple14 triple13) -> rule2))]
("mouse" "chases" "dog" "-")
triple9
((triple14 triple13) -> (rule2 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The dog eats the dog.
True
3
proof
[(((triple6 triple2) -> rule1))]
("dog" "eats" "dog" "+")
((triple6 triple2) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog does not eat the dog.
False
3
inv-proof
[(((triple6 triple2) -> rule1))]
("dog" "eats" "dog" "-")
((triple6 triple2) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The dog chases the mouse.[(triple1)] The dog eats the mouse.[(triple2)] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is round.[(triple6)] The dog is young.[(triple7)] The dog sees the mouse.[(triple8)] The mouse chases the dog.[(triple9 OR ((triple14 triple13) -> rule2))] The mouse eats the dog.[(triple10)] The mouse is blue.[(triple11)] The mouse is kind.[(triple12)] The mouse is round.[(triple13)] The mouse is young.[(triple14)] The mouse sees the dog.[(triple15)] @1: The dog chases the dog.[(((triple7 triple6) -> rule2))] The dog eats the dog.[(((triple6 triple2) -> rule1))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple8
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple9
((triple14 triple13) -> (rule2 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple10
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse is round.
("mouse" "is" "round" "+")
triple13
The mouse is young.
("mouse" "is" "young" "+")
triple14
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple15
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple7 triple6) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple6 triple2) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1