The bear chases the cow. The bear chases the squirrel. The bear does not need the cow. The bear visits the squirrel. The cow is rough. The dog does not chase the cow. The dog is nice. The dog visits the bear. The squirrel is rough. The squirrel does not visit the bear. The squirrel visits the cow. The squirrel visits the dog. If something is rough then it visits the cow. If something visits the squirrel then it chases the cow. If something visits the cow and the cow is not big then the cow needs the squirrel. If something is big then it does not need the squirrel. If something needs the squirrel then it is not round. If something is big and it does not visit the squirrel then it does not need the dog. If something visits the dog then the dog is rough. If something visits the cow and it does not chase the cow then the cow does not need the dog.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear does not need the cow.
("bear" "needs" "cow" "-")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cow is rough.
("cow" "is" "rough" "+")
The dog does not chase the cow.
("dog" "chases" "cow" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something is rough then it visits the cow.
((("something" "is" "rough" "+")) -> ("something" "visits" "cow" "+"))
If something visits the squirrel then it chases the cow.
((("something" "visits" "squirrel" "+")) -> ("something" "chases" "cow" "+"))
If something visits the cow and the cow is not big then the cow needs the squirrel.
((("something" "visits" "cow" "+") ("cow" "is" "big" "~")) -> ("cow" "needs" "squirrel" "+"))
If something is big then it does not need the squirrel.
((("something" "is" "big" "+")) -> ("something" "needs" "squirrel" "-"))
If something needs the squirrel then it is not round.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "round" "-"))
If something is big and it does not visit the squirrel then it does not need the dog.
((("something" "is" "big" "+") ("something" "visits" "squirrel" "~")) -> ("something" "needs" "dog" "-"))
If something visits the dog then the dog is rough.
((("something" "visits" "dog" "+")) -> ("dog" "is" "rough" "+"))
If something visits the cow and it does not chase the cow then the cow does not need the dog.
((("something" "visits" "cow" "+") ("something" "chases" "cow" "~")) -> ("cow" "needs" "dog" "-"))
The dog does not chase the cow.
True
1
proof
[(triple6)]
("dog" "chases" "cow" "-")
triple6
The bear needs the cow.
False
1
inv-proof
[(triple3)]
("bear" "needs" "cow" "+")
triple3
The dog is rough.
True
2
proof
[(((triple12) -> rule7))]
("dog" "is" "rough" "+")
((triple12) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is not rough.
False
2
inv-proof
[(((triple12) -> rule7))]
("dog" "is" "rough" "-")
((triple12) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog visits the cow.
True
3
proof
[(((((triple12) -> rule7)) -> rule1))]
("dog" "visits" "cow" "+")
((((triple12) -> (rule7 % int2))) -> (rule1 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog does not visit the cow.
False
3
inv-proof
[(((((triple12) -> rule7)) -> rule1))]
("dog" "visits" "cow" "-")
((((triple12) -> (rule7 % int2))) -> (rule1 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The cow does not need the dog.
True
5
proof
[(((((((triple12) -> rule7)) -> rule1) triple6) -> rule8))]
("cow" "needs" "dog" "-")
((((((triple12) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
The cow does not need the dog.
("cow" "needs" "dog" "-")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The cow needs the dog.
False
5
inv-proof
[(((((((triple12) -> rule7)) -> rule1) triple6) -> rule8))]
("cow" "needs" "dog" "+")
((((((triple12) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
The cow does not need the dog.
("cow" "needs" "dog" "-")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The squirrel does not chase the cow.
Unknown
inv-rconc
[@1: The squirrel chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "cow" "-")
The bear visits the cow.
Unknown
rconc
[@1: The bear visits the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "cow" "+")
The cow does not need the squirrel.
Unknown
inv-rconc
[@1: The cow needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "squirrel" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "cow" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
The dog does not chase the squirrel.
Unknown
inv-random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear chases the cow.[(triple1 OR ((triple4) -> rule2))] The bear chases the squirrel.[(triple2)] The bear does not need the cow.[(triple3)] The bear visits the squirrel.[(triple4)] The cow is rough.[(triple5)] The dog does not chase the cow.[(triple6)] The dog is nice.[(triple7)] The dog visits the bear.[(triple8)] The squirrel does not visit the bear.[(triple10)] The squirrel is rough.[(triple9)] The squirrel visits the cow.[(triple11 OR ((triple9) -> rule1))] The squirrel visits the dog.[(triple12)] @1: The cow visits the cow.[(((triple5) -> rule1))] The dog is rough.[(((triple12) -> rule7))] @2: The dog visits the cow.[(((((triple12) -> rule7)) -> rule1))] @3: The cow does not need the dog.[(((((((triple12) -> rule7)) -> rule1) triple6) -> rule8))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
((triple4) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear does not need the cow.
("bear" "needs" "cow" "-")
triple3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The dog does not chase the cow.
("dog" "chases" "cow" "-")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog visits the bear.
("dog" "visits" "bear" "+")
triple8
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple11
((triple9) -> (rule1 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple12
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple5) -> (rule1 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple12) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
((((triple12) -> (rule7 % int2))) -> (rule1 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The cow does not need the dog.
("cow" "needs" "dog" "-")
((((((triple12) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
The cow does not need the dog.
("cow" "needs" "dog" "-")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3