The cow is red. The dog chases the squirrel. The dog likes the cow. The dog likes the squirrel. The dog visits the cow. The dog visits the squirrel. The squirrel is green. If something is rough and it likes the cow then it is young. If something visits the squirrel then the squirrel visits the cow. If something chases the dog and it chases the cow then the dog chases the cow. If something is green then it likes the squirrel. If something is young then it visits the dog. If something visits the cow then it visits the dog.
The cow is red.
("cow" "is" "red" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If something is rough and it likes the cow then it is young.
((("something" "is" "rough" "+") ("something" "likes" "cow" "+")) -> ("something" "is" "young" "+"))
If something visits the squirrel then the squirrel visits the cow.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "visits" "cow" "+"))
If something chases the dog and it chases the cow then the dog chases the cow.
((("something" "chases" "dog" "+") ("something" "chases" "cow" "+")) -> ("dog" "chases" "cow" "+"))
If something is green then it likes the squirrel.
((("something" "is" "green" "+")) -> ("something" "likes" "squirrel" "+"))
If something is young then it visits the dog.
((("something" "is" "young" "+")) -> ("something" "visits" "dog" "+"))
If something visits the cow then it visits the dog.
((("something" "visits" "cow" "+")) -> ("something" "visits" "dog" "+"))
The dog chases the squirrel.
True
1
proof
[(triple2)]
("dog" "chases" "squirrel" "+")
triple2
The dog does not like the squirrel.
False
1
inv-proof
[(triple4)]
("dog" "likes" "squirrel" "-")
triple4
The squirrel visits the cow.
True
2
proof
[(((triple6) -> rule2))]
("squirrel" "visits" "cow" "+")
((triple6) -> (rule2 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel does not visit the cow.
False
2
inv-proof
[(((triple6) -> rule2))]
("squirrel" "visits" "cow" "-")
((triple6) -> (rule2 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "young" "-")
The squirrel is young.
Unknown
rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "young" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The cow is red.[(triple1)] The dog chases the squirrel.[(triple2)] The dog likes the cow.[(triple3)] The dog likes the squirrel.[(triple4)] The dog visits the cow.[(triple5)] The dog visits the squirrel.[(triple6)] The squirrel is green.[(triple7)] @1: The dog visits the dog.[(((triple5) -> rule6))] The squirrel likes the squirrel.[(((triple7) -> rule4))] The squirrel visits the cow.[(((triple6) -> rule2))] @2: The squirrel visits the dog.[(((((triple6) -> rule2)) -> rule6))]
The cow is red.
("cow" "is" "red" "+")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The dog likes the cow.
("dog" "likes" "cow" "+")
triple3
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple4
The dog visits the cow.
("dog" "visits" "cow" "+")
triple5
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple6
The squirrel is green.
("squirrel" "is" "green" "+")
triple7
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple5) -> (rule6 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple7) -> (rule4 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((triple6) -> (rule2 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int2