The bear chases the cow. The bear visits the cow. The cow is big. The cow is green. The cow likes the squirrel. The dog chases the bear. The squirrel is cold. The squirrel is nice. The squirrel likes the dog. The squirrel visits the bear. If something chases the dog and it likes the bear then the bear likes the squirrel. If something chases the squirrel then the squirrel likes the dog. If something is round and it chases the bear then the bear chases the cow. If something chases the squirrel and the squirrel visits the cow then the squirrel likes the dog. If something is green and nice then it likes the dog. All cold things are nice. If something chases the squirrel and the squirrel visits the bear then the squirrel likes the bear. If something visits the bear then it is green.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something chases the dog and it likes the bear then the bear likes the squirrel.
((("something" "chases" "dog" "+") ("something" "likes" "bear" "+")) -> ("bear" "likes" "squirrel" "+"))
If something chases the squirrel then the squirrel likes the dog.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "likes" "dog" "+"))
If something is round and it chases the bear then the bear chases the cow.
((("something" "is" "round" "+") ("something" "chases" "bear" "+")) -> ("bear" "chases" "cow" "+"))
If something chases the squirrel and the squirrel visits the cow then the squirrel likes the dog.
((("something" "chases" "squirrel" "+") ("squirrel" "visits" "cow" "+")) -> ("squirrel" "likes" "dog" "+"))
If something is green and nice then it likes the dog.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "likes" "dog" "+"))
All cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something chases the squirrel and the squirrel visits the bear then the squirrel likes the bear.
((("something" "chases" "squirrel" "+") ("squirrel" "visits" "bear" "+")) -> ("squirrel" "likes" "bear" "+"))
If something visits the bear then it is green.
((("something" "visits" "bear" "+")) -> ("something" "is" "green" "+"))
The squirrel is cold.
True
1
proof
[(triple7)]
("squirrel" "is" "cold" "+")
triple7
The squirrel does not like the dog.
False
1
inv-proof
[(triple9 OR ((((triple10) -> rule8) triple8) -> rule5) OR ((((triple10) -> rule8) ((triple7) -> rule6)) -> rule5))]
("squirrel" "likes" "dog" "-")
triple9
((((triple10) -> (rule8 % int2)) triple8) -> (rule5 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple10) -> (rule8 % int3)) ((triple7) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is green.
True
2
proof
[(((triple10) -> rule8))]
("squirrel" "is" "green" "+")
((triple10) -> (rule8 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not green.
False
2
inv-proof
[(((triple10) -> rule8))]
("squirrel" "is" "green" "-")
((triple10) -> (rule8 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "nice" "-")
The dog likes the dog.
Unknown
rconc
[@2: The dog likes the dog.[CWA. Example of deepest failure = (rule5 <- rule8 <- FAIL)]]
("dog" "likes" "dog" "+")
The cow does not visit the squirrel.
Unknown
inv-random
[@0: The cow visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "squirrel" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bear chases the cow.[(triple1)] The bear visits the cow.[(triple2)] The cow is big.[(triple3)] The cow is green.[(triple4)] The cow likes the squirrel.[(triple5)] The dog chases the bear.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is nice.[(triple8 OR ((triple7) -> rule6))] The squirrel likes the dog.[(triple9 OR ((((triple10) -> rule8) triple8) -> rule5) OR ((((triple10) -> rule8) ((triple7) -> rule6)) -> rule5))] The squirrel visits the bear.[(triple10)] @1: The squirrel is green.[(((triple10) -> rule8))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear visits the cow.
("bear" "visits" "cow" "+")
triple2
The cow is big.
("cow" "is" "big" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple5
The dog chases the bear.
("dog" "chases" "bear" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
((triple7) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple9
((((triple10) -> (rule8 % int2)) triple8) -> (rule5 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple10) -> (rule8 % int3)) ((triple7) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
((triple10) -> (rule8 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1