The dog is red. The dog visits the squirrel. The lion is red. The lion likes the dog. The squirrel eats the dog. The squirrel eats the lion. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is red. The squirrel likes the lion. The squirrel visits the dog. If someone is blue then they eat the dog. If someone likes the dog then they are blue.
The dog is red.
("dog" "is" "red" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone is blue then they eat the dog.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "dog" "+"))
If someone likes the dog then they are blue.
((("someone" "likes" "dog" "+")) -> ("someone" "is" "blue" "+"))
The squirrel eats the lion.
True
1
proof
[(triple6)]
("squirrel" "eats" "lion" "+")
triple6
The squirrel is not big.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "big" "-")
triple7
The lion is blue.
True
2
proof
[(((triple4) -> rule2))]
("lion" "is" "blue" "+")
((triple4) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is not blue.
False
2
inv-proof
[(((triple4) -> rule2))]
("lion" "is" "blue" "-")
((triple4) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion eats the dog.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("lion" "eats" "dog" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion does not eat the dog.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("lion" "eats" "dog" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "blue" "-")
The dog eats the dog.
Unknown
rconc
[@2: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("dog" "eats" "dog" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
The dog does not eat the squirrel.
Unknown
inv-random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "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 is red.[(triple1)] The dog visits the squirrel.[(triple2)] The lion is red.[(triple3)] The lion likes the dog.[(triple4)] The squirrel eats the dog.[(triple5 OR ((triple8) -> rule1))] The squirrel eats the lion.[(triple6)] The squirrel is big.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is red.[(triple10)] The squirrel likes the lion.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The lion is blue.[(((triple4) -> rule2))] @2: The lion eats the dog.[(((((triple4) -> rule2)) -> rule1))]
The dog is red.
("dog" "is" "red" "+")
triple1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple2
The lion is red.
("lion" "is" "red" "+")
triple3
The lion likes the dog.
("lion" "likes" "dog" "+")
triple4
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple5
((triple8) -> (rule1 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple6
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple11
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple12
The lion is blue.
("lion" "is" "blue" "+")
((triple4) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2