The cow is big. The cow is nice. The cow likes the lion. The cow likes the squirrel. The cow sees the dog. The cow sees the lion. The dog sees the lion. The lion is blue. The lion sees the squirrel. The squirrel likes the dog. Blue people are red. If someone sees the dog and they like the dog then the dog is red. If someone is blue then they need the cow.
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
Blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone sees the dog and they like the dog then the dog is red.
((("someone" "sees" "dog" "+") ("someone" "likes" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone is blue then they need the cow.
((("someone" "is" "blue" "+")) -> ("someone" "needs" "cow" "+"))
The lion is blue.
True
1
proof
[(triple8)]
("lion" "is" "blue" "+")
triple8
The cow does not like the squirrel.
False
1
inv-proof
[(triple4)]
("cow" "likes" "squirrel" "-")
triple4
The squirrel does not need the cow.
Unknown
inv-rconc
[@1: The squirrel needs the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "cow" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cow is big.[(triple1)] The cow is nice.[(triple2)] The cow likes the lion.[(triple3)] The cow likes the squirrel.[(triple4)] The cow sees the dog.[(triple5)] The cow sees the lion.[(triple6)] The dog sees the lion.[(triple7)] The lion is blue.[(triple8)] The lion sees the squirrel.[(triple9)] The squirrel likes the dog.[(triple10)] @1: The lion is red.[(((triple8) -> rule1))] The lion needs the cow.[(((triple8) -> rule3))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow likes the lion.
("cow" "likes" "lion" "+")
triple3
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple4
The cow sees the dog.
("cow" "sees" "dog" "+")
triple5
The cow sees the lion.
("cow" "sees" "lion" "+")
triple6
The dog sees the lion.
("dog" "sees" "lion" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple9
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple10
The lion is red.
("lion" "is" "red" "+")
((triple8) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
((triple8) -> (rule3 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1