The bear chases the rabbit. The bear is blue. The bear is green. The bear is nice. The bear is red. The bear is round. The bear likes the rabbit. The bear visits the rabbit. The rabbit chases the bear. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit likes the bear. The rabbit visits the bear. If the rabbit is nice and the rabbit likes the bear then the rabbit chases the bear. If something chases the rabbit then the rabbit chases the bear. If something chases the rabbit then it visits the bear. If something is nice and it chases the bear then the bear visits the rabbit. If something chases the rabbit and it is red then the rabbit is round. If something visits the rabbit and it visits the bear then the rabbit chases the bear. If something visits the bear then it chases the bear. If something chases the bear then it likes the bear.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If the rabbit is nice and the rabbit likes the bear then the rabbit chases the bear.
((("rabbit" "is" "nice" "+") ("rabbit" "likes" "bear" "+")) -> ("rabbit" "chases" "bear" "+"))
If something chases the rabbit then the rabbit chases the bear.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "chases" "bear" "+"))
If something chases the rabbit then it visits the bear.
((("something" "chases" "rabbit" "+")) -> ("something" "visits" "bear" "+"))
If something is nice and it chases the bear then the bear visits the rabbit.
((("something" "is" "nice" "+") ("something" "chases" "bear" "+")) -> ("bear" "visits" "rabbit" "+"))
If something chases the rabbit and it is red then the rabbit is round.
((("something" "chases" "rabbit" "+") ("something" "is" "red" "+")) -> ("rabbit" "is" "round" "+"))
If something visits the rabbit and it visits the bear then the rabbit chases the bear.
((("something" "visits" "rabbit" "+") ("something" "visits" "bear" "+")) -> ("rabbit" "chases" "bear" "+"))
If something visits the bear then it chases the bear.
((("something" "visits" "bear" "+")) -> ("something" "chases" "bear" "+"))
If something chases the bear then it likes the bear.
((("something" "chases" "bear" "+")) -> ("something" "likes" "bear" "+"))
The rabbit chases the bear.
True
1
proof
[(triple9 OR ((triple1) -> rule2) OR ((triple15) -> rule7) OR ((triple12 triple14) -> rule1) OR ((triple8 ((triple1) -> rule3)) -> rule6) OR ((((triple4 ((((triple1) -> rule3)) -> rule7)) -> rule4) ((triple1) -> rule3)) -> rule6))]
("rabbit" "chases" "bear" "+")
triple9
((triple1) -> (rule2 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
((triple15) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
((triple12 triple14) -> (rule1 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
((triple8 ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
((((triple4 ((((triple1) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int4))) -> (rule6 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear visits the bear.
("bear" "visits" "bear" "+")
int4
The bear does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("bear" "chases" "rabbit" "-")
triple1
The bear visits the bear.
True
2
proof
[(((triple1) -> rule3))]
("bear" "visits" "bear" "+")
((triple1) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
2
inv-proof
[(((triple1) -> rule3))]
("bear" "visits" "bear" "-")
((triple1) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear chases the bear.
True
3
proof
[(((((triple1) -> rule3)) -> rule7))]
("bear" "chases" "bear" "+")
((((triple1) -> (rule3 % int2))) -> (rule7 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear does not chase the bear.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule7))]
("bear" "chases" "bear" "-")
((((triple1) -> (rule3 % int2))) -> (rule7 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear likes the bear.
True
4
proof
[(((((((triple1) -> rule3)) -> rule7)) -> rule8))]
("bear" "likes" "bear" "+")
((((((triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The bear does not like the bear.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule7)) -> rule8))]
("bear" "likes" "bear" "-")
((((((triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The bear chases the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6)] The bear likes the rabbit.[(triple7)] The bear visits the rabbit.[(triple8 OR ((triple12 triple9) -> rule4) OR ((triple12 ((triple1) -> rule2)) -> rule4) OR ((triple12 ((triple15) -> rule7)) -> rule4) OR ((triple12 ((triple12 triple14) -> rule1)) -> rule4) OR ((triple4 ((((triple1) -> rule3)) -> rule7)) -> rule4))] The rabbit chases the bear.[(triple9 OR ((triple1) -> rule2) OR ((triple15) -> rule7) OR ((triple12 triple14) -> rule1) OR ((triple8 ((triple1) -> rule3)) -> rule6) OR ((((triple4 ((((triple1) -> rule3)) -> rule7)) -> rule4) ((triple1) -> rule3)) -> rule6))] The rabbit is blue.[(triple10)] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is red.[(triple13)] The rabbit likes the bear.[(triple14 OR ((triple9) -> rule8) OR ((((triple1) -> rule2)) -> rule8) OR ((((triple15) -> rule7)) -> rule8) OR ((((triple8 ((triple1) -> rule3)) -> rule6)) -> rule8) OR ((((((triple4 ((((triple1) -> rule3)) -> rule7)) -> rule4) ((triple1) -> rule3)) -> rule6)) -> rule8))] The rabbit visits the bear.[(triple15)] @1: The bear visits the bear.[(((triple1) -> rule3))] The rabbit is round.[(((triple1 triple5) -> rule5))] @2: The bear chases the bear.[(((((triple1) -> rule3)) -> rule7))] @3: The bear likes the bear.[(((((((triple1) -> rule3)) -> rule7)) -> rule8))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple7
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple8
((triple12 triple9) -> (rule4 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
((triple12 ((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
((triple12 ((triple15) -> (rule7 % int2))) -> (rule4 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
((triple12 ((triple12 triple14) -> (rule1 % int2))) -> (rule4 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
((triple4 ((((triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple9
((triple1) -> (rule2 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
((triple15) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
((triple12 triple14) -> (rule1 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
((triple8 ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
((((triple4 ((((triple1) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int4))) -> (rule6 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear visits the bear.
("bear" "visits" "bear" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple14
((triple9) -> (rule8 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
((((triple15) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
((((triple8 ((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
((((((triple4 ((((triple1) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple1) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The bear chases the bear.
("bear" "chases" "bear" "+")
int4
The bear visits the bear.
("bear" "visits" "bear" "+")
int5
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple15
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple1) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple1 triple5) -> (rule5 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((((triple1) -> (rule3 % int2))) -> (rule7 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
((((((triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3