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