The cow is kind. The cow does not need the tiger. The dog chases the mouse. The dog is big. The dog is nice. The dog needs the mouse. The mouse does not chase the cow. The mouse is red. The mouse is round. The mouse does not visit the dog. The tiger is not red. The tiger is round. The tiger does not need the cow. The tiger needs the dog. The tiger visits the dog. If someone is kind then they visit the mouse. If someone visits the dog then they visit the tiger. If someone is nice and they chase the dog then the dog is round.
The cow is kind.
("cow" "is" "kind" "+")
The cow does not need the tiger.
("cow" "needs" "tiger" "-")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger is round.
("tiger" "is" "round" "+")
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If someone is kind then they visit the mouse.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "mouse" "+"))
If someone visits the dog then they visit the tiger.
((("someone" "visits" "dog" "+")) -> ("someone" "visits" "tiger" "+"))
If someone is nice and they chase the dog then the dog is round.
((("someone" "is" "nice" "+") ("someone" "chases" "dog" "+")) -> ("dog" "is" "round" "+"))
The dog is nice.
True
1
proof
[(triple5)]
("dog" "is" "nice" "+")
triple5
The tiger does not visit the dog.
False
1
inv-proof
[(triple15)]
("tiger" "visits" "dog" "-")
triple15
The cow visits the mouse.
True
2
proof
[(((triple1) -> rule1))]
("cow" "visits" "mouse" "+")
((triple1) -> (rule1 % int1))
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int1
The tiger does not visit the tiger.
False
2
inv-proof
[(((triple15) -> rule2))]
("tiger" "visits" "tiger" "-")
((triple15) -> (rule2 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "round" "-")
The mouse visits the tiger.
Unknown
rconc
[@1: The mouse visits the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "visits" "tiger" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The cow does not need the tiger.[(triple2)] The cow is kind.[(triple1)] The dog chases the mouse.[(triple3)] The dog is big.[(triple4)] The dog is nice.[(triple5)] The dog needs the mouse.[(triple6)] The mouse does not chase the cow.[(triple7)] The mouse does not visit the dog.[(triple10)] The mouse is red.[(triple8)] The mouse is round.[(triple9)] The tiger does not need the cow.[(triple13)] The tiger is not red.[(triple11)] The tiger is round.[(triple12)] The tiger needs the dog.[(triple14)] The tiger visits the dog.[(triple15)] @1: The cow visits the mouse.[(((triple1) -> rule1))] The tiger visits the tiger.[(((triple15) -> rule2))]
The cow does not need the tiger.
("cow" "needs" "tiger" "-")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple1
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple6
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
triple7
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse is round.
("mouse" "is" "round" "+")
triple9
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
triple13
The tiger is not red.
("tiger" "is" "red" "-")
triple11
The tiger is round.
("tiger" "is" "round" "+")
triple12
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple14
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple15
The cow visits the mouse.
("cow" "visits" "mouse" "+")
((triple1) -> (rule1 % int1))
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple15) -> (rule2 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1