The bear chases the dog. The bear chases the squirrel. The bear eats the squirrel. The bear is blue. The bear is cold. The bear is green. The bear visits the dog. The bear visits the squirrel. The dog chases the squirrel. The dog eats the bear. The dog does not eat the squirrel. The dog is big. The dog is nice. The squirrel eats the bear. The squirrel is big. The squirrel does not visit the dog. If something chases the bear and the bear chases the dog then the dog chases the squirrel. If something is big and it does not visit the dog then the dog is nice. If something chases the squirrel and the squirrel does not eat the dog then the dog is blue. If the dog chases the bear and the dog chases the squirrel then the bear chases the squirrel. If something chases the bear and the bear does not eat the dog then the bear does not visit the squirrel. If something visits the dog then the dog visits the squirrel. If something is big and it visits the squirrel then the squirrel eats the bear. If something is green and not nice then it eats the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
If something chases the bear and the bear chases the dog then the dog chases the squirrel.
((("something" "chases" "bear" "+") ("bear" "chases" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
If something is big and it does not visit the dog then the dog is nice.
((("something" "is" "big" "+") ("something" "visits" "dog" "~")) -> ("dog" "is" "nice" "+"))
If something chases the squirrel and the squirrel does not eat the dog then the dog is blue.
((("something" "chases" "squirrel" "+") ("squirrel" "eats" "dog" "~")) -> ("dog" "is" "blue" "+"))
If the dog chases the bear and the dog chases the squirrel then the bear chases the squirrel.
((("dog" "chases" "bear" "+") ("dog" "chases" "squirrel" "+")) -> ("bear" "chases" "squirrel" "+"))
If something chases the bear and the bear does not eat the dog then the bear does not visit the squirrel.
((("something" "chases" "bear" "+") ("bear" "eats" "dog" "~")) -> ("bear" "visits" "squirrel" "-"))
If something visits the dog then the dog visits the squirrel.
((("something" "visits" "dog" "+")) -> ("dog" "visits" "squirrel" "+"))
If something is big and it visits the squirrel then the squirrel eats the bear.
((("something" "is" "big" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
If something is green and not nice then it eats the bear.
((("something" "is" "green" "+") ("something" "is" "nice" "~")) -> ("something" "eats" "bear" "+"))
The bear is green.
True
1
proof
[(triple6)]
("bear" "is" "green" "+")
triple6
The squirrel visits the dog.
False
1
inv-proof
[(triple16)]
("squirrel" "visits" "dog" "+")
triple16
The dog visits the squirrel.
True
2
proof
[(((triple7) -> rule6))]
("dog" "visits" "squirrel" "+")
((triple7) -> (rule6 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The dog does not visit the squirrel.
False
2
inv-proof
[(((triple7) -> rule6))]
("dog" "visits" "squirrel" "-")
((triple7) -> (rule6 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "eats" "bear" "-")
The dog is blue.
Unknown
rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "blue" "+")
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the squirrel.[(triple2)] The bear eats the squirrel.[(triple3)] The bear is blue.[(triple4)] The bear is cold.[(triple5)] The bear is green.[(triple6)] The bear visits the dog.[(triple7)] The bear visits the squirrel.[(triple8)] The dog chases the squirrel.[(triple9)] The dog does not eat the squirrel.[(triple11)] The dog eats the bear.[(triple10)] The dog is big.[(triple12)] The dog is nice.[(triple13 OR ((triple15 triple16) -> rule2))] The squirrel does not visit the dog.[(triple16)] The squirrel eats the bear.[(triple14 OR ((triple12 ((triple7) -> rule6)) -> rule7))] The squirrel is big.[(triple15)] @1: The dog visits the squirrel.[(((triple7) -> rule6))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear is cold.
("bear" "is" "cold" "+")
triple5
The bear is green.
("bear" "is" "green" "+")
triple6
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple8
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple9
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
triple11
The dog eats the bear.
("dog" "eats" "bear" "+")
triple10
The dog is big.
("dog" "is" "big" "+")
triple12
The dog is nice.
("dog" "is" "nice" "+")
triple13
((triple15 triple16) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
triple16
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple14
((triple12 ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
triple15
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
((triple7) -> (rule6 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1