The cow does not chase the mouse. The cow is young. The dog chases the mouse. The dog likes the mouse. The dog visits the cow. The dog visits the mouse. The mouse does not chase the cow. The mouse chases the rabbit. The mouse is cold. The mouse likes the dog. The mouse visits the dog. The rabbit chases the dog. The rabbit is big. The rabbit likes the cow. The rabbit visits the dog. If the rabbit chases the dog and the rabbit chases the mouse then the rabbit is not nice. If something visits the dog then it chases the mouse.
The cow does not chase the mouse.
("cow" "chases" "mouse" "-")
The cow is young.
("cow" "is" "young" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If the rabbit chases the dog and the rabbit chases the mouse then the rabbit is not nice.
((("rabbit" "chases" "dog" "+") ("rabbit" "chases" "mouse" "+")) -> ("rabbit" "is" "nice" "-"))
If something visits the dog then it chases the mouse.
((("something" "visits" "dog" "+")) -> ("something" "chases" "mouse" "+"))
The mouse does not chase the cow.
True
1
proof
[(triple7)]
("mouse" "chases" "cow" "-")
triple7
The rabbit does not like the cow.
False
1
inv-proof
[(triple14)]
("rabbit" "likes" "cow" "-")
triple14
The mouse chases the mouse.
True
2
proof
[(((triple11) -> rule2))]
("mouse" "chases" "mouse" "+")
((triple11) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
2
inv-proof
[(((triple11) -> rule2))]
("mouse" "chases" "mouse" "-")
((triple11) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The mouse likes the rabbit.
Unknown
random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "+")
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit likes the dog.
Unknown
random
[@0: The rabbit likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "dog" "+")
@0: The cow does not chase the mouse.[(triple1)] The cow is young.[(triple2)] The dog chases the mouse.[(triple3)] The dog likes the mouse.[(triple4)] The dog visits the cow.[(triple5)] The dog visits the mouse.[(triple6)] The mouse chases the rabbit.[(triple8)] The mouse does not chase the cow.[(triple7)] The mouse is cold.[(triple9)] The mouse likes the dog.[(triple10)] The mouse visits the dog.[(triple11)] The rabbit chases the dog.[(triple12)] The rabbit is big.[(triple13)] The rabbit likes the cow.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The mouse chases the mouse.[(((triple11) -> rule2))] The rabbit chases the mouse.[(((triple15) -> rule2))] @2: The rabbit is not nice.[(((triple12 ((triple15) -> rule2)) -> rule1))]
The cow does not chase the mouse.
("cow" "chases" "mouse" "-")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple3
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple4
The dog visits the cow.
("dog" "visits" "cow" "+")
triple5
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple6
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple8
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple10
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple11
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple12
The rabbit is big.
("rabbit" "is" "big" "+")
triple13
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple14
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple15
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple11) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
((triple15) -> (rule2 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit is not nice.
("rabbit" "is" "nice" "-")
((triple12 ((triple15) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is not nice.
("rabbit" "is" "nice" "-")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int2