The dog eats the squirrel. The dog is rough. The dog is round. The dog likes the squirrel. The dog visits the squirrel. The squirrel eats the dog. The squirrel is cold. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel likes the dog. The squirrel visits the dog. If someone is rough then they like the squirrel. If someone is kind and they visit the dog then the dog visits the squirrel. If someone is kind then they eat the dog.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone is rough then they like the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone is kind and they visit the dog then the dog visits the squirrel.
((("someone" "is" "kind" "+") ("someone" "visits" "dog" "+")) -> ("dog" "visits" "squirrel" "+"))
If someone is kind then they eat the dog.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "dog" "+"))
The squirrel is round.
True
1
proof
[(triple10)]
("squirrel" "is" "round" "+")
triple10
The dog is not rough.
False
1
inv-proof
[(triple2)]
("dog" "is" "rough" "-")
triple2
The squirrel likes the squirrel.
True
2
proof
[(((triple9) -> rule1))]
("squirrel" "likes" "squirrel" "+")
((triple9) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
2
inv-proof
[(((triple9) -> rule1))]
("squirrel" "likes" "squirrel" "-")
((triple9) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "eats" "dog" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog eats the squirrel.[(triple1)] The dog is rough.[(triple2)] The dog is round.[(triple3)] The dog likes the squirrel.[(triple4 OR ((triple2) -> rule1))] The dog visits the squirrel.[(triple5 OR ((triple8 triple12) -> rule2))] The squirrel eats the dog.[(triple6 OR ((triple8) -> rule3))] The squirrel is cold.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the dog.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The squirrel likes the squirrel.[(((triple9) -> rule1))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple4
((triple2) -> (rule1 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple5
((triple8 triple12) -> (rule2 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple6
((triple8) -> (rule3 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple11
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple12
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple9) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1