The dog chases the squirrel. The dog is green. The dog is round. The dog visits the mouse. The mouse chases the dog. The mouse chases the rabbit. The mouse visits the dog. The rabbit chases the dog. The rabbit chases the squirrel. The squirrel eats the dog. The squirrel eats the mouse. The squirrel is cold. The squirrel is green. The squirrel visits the dog. The squirrel visits the mouse. If something visits the squirrel and the squirrel is kind then the squirrel chases the dog. If something is round then it visits the squirrel. If something is young and it eats the rabbit then it visits the dog. If something chases the dog and the dog eats the mouse then the dog is round. If something visits the squirrel then the squirrel is round. If something chases the rabbit and it is kind then it is green.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something visits the squirrel and the squirrel is kind then the squirrel chases the dog.
((("something" "visits" "squirrel" "+") ("squirrel" "is" "kind" "+")) -> ("squirrel" "chases" "dog" "+"))
If something is round then it visits the squirrel.
((("something" "is" "round" "+")) -> ("something" "visits" "squirrel" "+"))
If something is young and it eats the rabbit then it visits the dog.
((("something" "is" "young" "+") ("something" "eats" "rabbit" "+")) -> ("something" "visits" "dog" "+"))
If something chases the dog and the dog eats the mouse then the dog is round.
((("something" "chases" "dog" "+") ("dog" "eats" "mouse" "+")) -> ("dog" "is" "round" "+"))
If something visits the squirrel then the squirrel is round.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If something chases the rabbit and it is kind then it is green.
((("something" "chases" "rabbit" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
The dog is round.
True
1
proof
[(triple3)]
("dog" "is" "round" "+")
triple3
The mouse does not chase the rabbit.
False
1
inv-proof
[(triple6)]
("mouse" "chases" "rabbit" "-")
triple6
The dog visits the squirrel.
True
2
proof
[(((triple3) -> rule2))]
("dog" "visits" "squirrel" "+")
((triple3) -> (rule2 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The dog does not visit the squirrel.
False
2
inv-proof
[(((triple3) -> rule2))]
("dog" "visits" "squirrel" "-")
((triple3) -> (rule2 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The squirrel is round.
True
3
proof
[(((((triple3) -> rule2)) -> rule5))]
("squirrel" "is" "round" "+")
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
The squirrel is not round.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule5))]
("squirrel" "is" "round" "-")
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "green" "-")
The rabbit visits the dog.
Unknown
rconc
[@1: The rabbit visits the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "visits" "dog" "+")
The mouse is not green.
Unknown
inv-rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "green" "-")
The mouse chases the squirrel.
Unknown
random
[@0: The mouse chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "squirrel" "+")
The mouse does not eat the dog.
Unknown
inv-random
[@0: The mouse eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "dog" "-")
The dog eats the squirrel.
Unknown
random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "squirrel" "+")
@0: The dog chases the squirrel.[(triple1)] The dog is green.[(triple2)] The dog is round.[(triple3)] The dog visits the mouse.[(triple4)] The mouse chases the dog.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse visits the dog.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit chases the squirrel.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel eats the mouse.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is green.[(triple13)] The squirrel visits the dog.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The dog visits the squirrel.[(((triple3) -> rule2))] @2: The squirrel is round.[(((((triple3) -> rule2)) -> rule5))] @3: The squirrel visits the squirrel.[(((((((triple3) -> rule2)) -> rule5)) -> rule2))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple4
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple5
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple6
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple7
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple8
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple9
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple10
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is green.
("squirrel" "is" "green" "+")
triple13
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
((triple3) -> (rule2 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3