The bald eagle is not big. The dog does not chase the squirrel. The dog eats the rabbit. The rabbit does not chase the squirrel. The rabbit eats the bald eagle. The rabbit eats the dog. The rabbit is not round. The rabbit likes the bald eagle. The rabbit likes the squirrel. The squirrel chases the bald eagle. The squirrel chases the dog. The squirrel chases the rabbit. The squirrel does not eat the dog. The squirrel is rough. The squirrel is round. The squirrel likes the rabbit. Round people are blue.
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
Round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
The dog does not chase the squirrel.
True
1
proof
[(triple2)]
("dog" "chases" "squirrel" "-")
triple2
The rabbit does not like the squirrel.
False
1
inv-proof
[(triple9)]
("rabbit" "likes" "squirrel" "-")
triple9
The squirrel is blue.
True
2
proof
[(((triple15) -> rule1))]
("squirrel" "is" "blue" "+")
((triple15) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
2
inv-proof
[(((triple15) -> rule1))]
("squirrel" "is" "blue" "-")
((triple15) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "blue" "-")
The dog is blue.
Unknown
rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "blue" "+")
The squirrel does not eat the rabbit.
Unknown
inv-random
[@0: The squirrel eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "rabbit" "-")
The dog likes the squirrel.
Unknown
random
[@0: The dog likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "squirrel" "+")
@0: The bald eagle is not big.[(triple1)] The dog does not chase the squirrel.[(triple2)] The dog eats the rabbit.[(triple3)] The rabbit does not chase the squirrel.[(triple4)] The rabbit eats the bald eagle.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit is not round.[(triple7)] The rabbit likes the bald eagle.[(triple8)] The rabbit likes the squirrel.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel chases the dog.[(triple11)] The squirrel chases the rabbit.[(triple12)] The squirrel does not eat the dog.[(triple13)] The squirrel is rough.[(triple14)] The squirrel is round.[(triple15)] The squirrel likes the rabbit.[(triple16)] @1: The squirrel is blue.[(((triple15) -> rule1))]
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple1
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
triple2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple3
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
triple4
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple5
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple6
The rabbit is not round.
("rabbit" "is" "round" "-")
triple7
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple8
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple9
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple10
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple11
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple12
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple13
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The squirrel is round.
("squirrel" "is" "round" "+")
triple15
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple16
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple15) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1