The dog is blue. The dog is kind. The dog is nice. The dog sees the squirrel. The squirrel eats the dog. The squirrel is blue. The squirrel is not rough. The squirrel is round. The squirrel likes the dog. The squirrel sees the dog. If something is round and it sees the dog then it eats the squirrel.
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something is round and it sees the dog then it eats the squirrel.
((("something" "is" "round" "+") ("something" "sees" "dog" "+")) -> ("something" "eats" "squirrel" "+"))
The squirrel likes the dog.
True
1
proof
[(triple9)]
("squirrel" "likes" "dog" "+")
triple9
The squirrel is not round.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "round" "-")
triple8
The squirrel eats the squirrel.
True
3
proof
[(((triple8 triple10) -> rule1))]
("squirrel" "eats" "squirrel" "+")
((triple8 triple10) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
False
3
inv-proof
[(((triple8 triple10) -> rule1))]
("squirrel" "eats" "squirrel" "-")
((triple8 triple10) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The dog does not eat the squirrel.
Unknown
inv-rconc
[@1: The dog eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "squirrel" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "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 is blue.[(triple1)] The dog is kind.[(triple2)] The dog is nice.[(triple3)] The dog sees the squirrel.[(triple4)] The squirrel eats the dog.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is not rough.[(triple7)] The squirrel is round.[(triple8)] The squirrel likes the dog.[(triple9)] The squirrel sees the dog.[(triple10)] @1: The squirrel eats the squirrel.[(((triple8 triple10) -> rule1))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple4
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple9
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple10
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple8 triple10) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1