The bear does not chase the dog. The bear is not green. The bear is red. The bear is young. The bear likes the dog. The bear likes the squirrel. The dog chases the squirrel. The dog is cold. The dog is green. The dog likes the bear. The squirrel eats the dog. The squirrel is cold. The squirrel is not kind. The squirrel is young. The squirrel does not like the dog. If someone is cold then they eat the dog. If someone likes the dog then they are red. If someone is kind then they chase the squirrel. All red people are cold. If someone is red then they do not chase the bear. If someone likes the bear and the bear chases the squirrel then the squirrel is young. If someone is cold and they like the bear then the bear is not kind. If someone eats the bear and the bear does not like the dog then the bear eats the squirrel.
The bear does not chase the dog.
("bear" "chases" "dog" "-")
The bear is not green.
("bear" "is" "green" "-")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
If someone is cold then they eat the dog.
((("someone" "is" "cold" "+")) -> ("someone" "eats" "dog" "+"))
If someone likes the dog then they are red.
((("someone" "likes" "dog" "+")) -> ("someone" "is" "red" "+"))
If someone is kind then they chase the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "squirrel" "+"))
All red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red then they do not chase the bear.
((("someone" "is" "red" "+")) -> ("someone" "chases" "bear" "-"))
If someone likes the bear and the bear chases the squirrel then the squirrel is young.
((("someone" "likes" "bear" "+") ("bear" "chases" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If someone is cold and they like the bear then the bear is not kind.
((("someone" "is" "cold" "+") ("someone" "likes" "bear" "+")) -> ("bear" "is" "kind" "-"))
If someone eats the bear and the bear does not like the dog then the bear eats the squirrel.
((("someone" "eats" "bear" "+") ("bear" "likes" "dog" "~")) -> ("bear" "eats" "squirrel" "+"))
The squirrel is young.
True
1
proof
[(triple14)]
("squirrel" "is" "young" "+")
triple14
The squirrel is not cold.
False
1
inv-proof
[(triple12)]
("squirrel" "is" "cold" "-")
triple12
The bear is not kind.
True
3
proof
[(((triple8 triple10) -> rule7))]
("bear" "is" "kind" "-")
((triple8 triple10) -> (rule7 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The bear is kind.
False
3
inv-proof
[(((triple8 triple10) -> rule7))]
("bear" "is" "kind" "+")
((triple8 triple10) -> (rule7 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The bear eats the dog.
True
3
proof
[(((((triple3) -> rule4)) -> rule1) OR ((((((triple5) -> rule2)) -> rule4)) -> rule1))]
("bear" "eats" "dog" "+")
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear does not eat the dog.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule1) OR ((((((triple5) -> rule2)) -> rule4)) -> rule1))]
("bear" "eats" "dog" "-")
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel is red.
Unknown
rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "red" "+")
The bear does not eat the squirrel.
Unknown
inv-rconc
[@1: The bear eats the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "eats" "squirrel" "-")
The dog eats the bear.
Unknown
random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "+")
The squirrel does not like the bear.
Unknown
inv-random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear does not chase the dog.[(triple1)] The bear is not green.[(triple2)] The bear is red.[(triple3 OR ((triple5) -> rule2))] The bear is young.[(triple4)] The bear likes the dog.[(triple5)] The bear likes the squirrel.[(triple6)] The dog chases the squirrel.[(triple7)] The dog is cold.[(triple8)] The dog is green.[(triple9)] The dog likes the bear.[(triple10)] The squirrel does not like the dog.[(triple15)] The squirrel eats the dog.[(triple11 OR ((triple12) -> rule1))] The squirrel is cold.[(triple12)] The squirrel is not kind.[(triple13)] The squirrel is young.[(triple14)] @1: The bear does not chase the bear.[(((triple3) -> rule5) OR ((((triple5) -> rule2)) -> rule5))] The bear is cold.[(((triple3) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] The bear is not kind.[(((triple8 triple10) -> rule7))] The dog eats the dog.[(((triple8) -> rule1))] @2: The bear eats the dog.[(((((triple3) -> rule4)) -> rule1) OR ((((((triple5) -> rule2)) -> rule4)) -> rule1))]
The bear does not chase the dog.
("bear" "chases" "dog" "-")
triple1
The bear is not green.
("bear" "is" "green" "-")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
((triple5) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple6
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
triple15
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple11
((triple12) -> (rule1 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The bear does not chase the bear.
("bear" "chases" "bear" "-")
((triple3) -> (rule5 % int1))
The bear does not chase the bear.
("bear" "chases" "bear" "-")
int1
((((triple5) -> (rule2 % int2))) -> (rule5 % int1))
The bear does not chase the bear.
("bear" "chases" "bear" "-")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((triple3) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is not kind.
("bear" "is" "kind" "-")
((triple8 triple10) -> (rule7 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple8) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3