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