The cow chases the lion. The cow is not kind. The cow likes the squirrel. The cow needs the dog. The cow needs the lion. The dog needs the cow. The lion does not chase the dog. The lion is rough. The lion needs the squirrel. The squirrel chases the cow. The squirrel is not nice. The squirrel needs the lion. If someone likes the cow then they chase the lion. All round people are not rough. If the cow needs the dog then the dog is round.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The lion does not chase the dog.
("lion" "chases" "dog" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone likes the cow then they chase the lion.
((("someone" "likes" "cow" "+")) -> ("someone" "chases" "lion" "+"))
All round people are not rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "-"))
If the cow needs the dog then the dog is round.
((("cow" "needs" "dog" "+")) -> ("dog" "is" "round" "+"))
The squirrel is not nice.
True
1
proof
[(triple11)]
("squirrel" "is" "nice" "-")
triple11
The lion is not rough.
False
1
inv-proof
[(triple8)]
("lion" "is" "rough" "-")
triple8
The dog is round.
True
2
proof
[(((triple4) -> rule3))]
("dog" "is" "round" "+")
((triple4) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
2
inv-proof
[(((triple4) -> rule3))]
("dog" "is" "round" "-")
((triple4) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not rough.
True
3
proof
[(((((triple4) -> rule3)) -> rule2))]
("dog" "is" "rough" "-")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is rough.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule2))]
("dog" "is" "rough" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog does not chase the lion.
Unknown
inv-rconc
[@1: The dog chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "lion" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "lion" "+")
The squirrel does not chase the lion.
Unknown
inv-rconc
[@1: The squirrel chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "lion" "-")
The lion chases the cow.
Unknown
random
[@0: The lion chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cow" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The lion needs the dog.
Unknown
random
[@0: The lion needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "dog" "+")
@0: The cow chases the lion.[(triple1)] The cow is not kind.[(triple2)] The cow likes the squirrel.[(triple3)] The cow needs the dog.[(triple4)] The cow needs the lion.[(triple5)] The dog needs the cow.[(triple6)] The lion does not chase the dog.[(triple7)] The lion is rough.[(triple8)] The lion needs the squirrel.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel is not nice.[(triple11)] The squirrel needs the lion.[(triple12)] @1: The dog is round.[(((triple4) -> rule3))] @2: The dog is not rough.[(((((triple4) -> rule3)) -> rule2))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow is not kind.
("cow" "is" "kind" "-")
triple2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple3
The cow needs the dog.
("cow" "needs" "dog" "+")
triple4
The cow needs the lion.
("cow" "needs" "lion" "+")
triple5
The dog needs the cow.
("dog" "needs" "cow" "+")
triple6
The lion does not chase the dog.
("lion" "chases" "dog" "-")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple9
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple10
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple11
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple12
The dog is round.
("dog" "is" "round" "+")
((triple4) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not rough.
("dog" "is" "rough" "-")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is round.
("dog" "is" "round" "+")
int2