The bear is rough. The bear is round. The bear needs the rabbit. The cow chases the tiger. The cow is blue. The cow needs the tiger. The rabbit chases the bear. The rabbit chases the tiger. The rabbit is nice. The rabbit is rough. The rabbit needs the cow. The tiger chases the cow. The tiger chases the rabbit. The tiger is nice. The tiger needs the bear. The tiger sees the rabbit. If someone chases the cow then the cow needs the bear. If someone is round then they see the cow. If someone sees the cow then the cow chases the bear. If someone sees the tiger and they chase the cow then the cow needs the tiger. If someone is rough and they need the bear then they need the cow. If someone sees the bear then the bear is rough. If the rabbit is nice then the rabbit chases the bear. If someone needs the tiger and they are nice then they need the bear.
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If someone chases the cow then the cow needs the bear.
((("someone" "chases" "cow" "+")) -> ("cow" "needs" "bear" "+"))
If someone is round then they see the cow.
((("someone" "is" "round" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the cow then the cow chases the bear.
((("someone" "sees" "cow" "+")) -> ("cow" "chases" "bear" "+"))
If someone sees the tiger and they chase the cow then the cow needs the tiger.
((("someone" "sees" "tiger" "+") ("someone" "chases" "cow" "+")) -> ("cow" "needs" "tiger" "+"))
If someone is rough and they need the bear then they need the cow.
((("someone" "is" "rough" "+") ("someone" "needs" "bear" "+")) -> ("someone" "needs" "cow" "+"))
If someone sees the bear then the bear is rough.
((("someone" "sees" "bear" "+")) -> ("bear" "is" "rough" "+"))
If the rabbit is nice then the rabbit chases the bear.
((("rabbit" "is" "nice" "+")) -> ("rabbit" "chases" "bear" "+"))
If someone needs the tiger and they are nice then they need the bear.
((("someone" "needs" "tiger" "+") ("someone" "is" "nice" "+")) -> ("someone" "needs" "bear" "+"))
The tiger chases the rabbit.
True
1
proof
[(triple13)]
("tiger" "chases" "rabbit" "+")
triple13
The rabbit is not rough.
False
1
inv-proof
[(triple10)]
("rabbit" "is" "rough" "-")
triple10
The cow needs the bear.
True
2
proof
[(((triple12) -> rule1))]
("cow" "needs" "bear" "+")
((triple12) -> (rule1 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The cow does not need the bear.
False
2
inv-proof
[(((triple12) -> rule1))]
("cow" "needs" "bear" "-")
((triple12) -> (rule1 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The rabbit does not need the bear.
Unknown
inv-rconc
[@1: The rabbit needs the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "needs" "bear" "-")
The bear needs the bear.
Unknown
rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "needs" "bear" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The bear is rough.[(triple1)] The bear is round.[(triple2)] The bear needs the rabbit.[(triple3)] The cow chases the tiger.[(triple4)] The cow is blue.[(triple5)] The cow needs the tiger.[(triple6)] The rabbit chases the bear.[(triple7 OR ((triple9) -> rule7))] The rabbit chases the tiger.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is rough.[(triple10)] The rabbit needs the cow.[(triple11)] The tiger chases the cow.[(triple12)] The tiger chases the rabbit.[(triple13)] The tiger is nice.[(triple14)] The tiger needs the bear.[(triple15)] The tiger sees the rabbit.[(triple16)] @1: The bear sees the cow.[(((triple2) -> rule2))] The cow needs the bear.[(((triple12) -> rule1))] @2: The cow chases the bear.[(((((triple2) -> rule2)) -> rule3))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple3
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple6
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple7
((triple9) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple11
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple12
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple15
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple16
The bear sees the cow.
("bear" "sees" "cow" "+")
((triple2) -> (rule2 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
((triple12) -> (rule1 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
int2