The bear chases the tiger. The bear is round. The bear visits the tiger. The mouse chases the bear. The mouse chases the rabbit. The mouse eats the bear. The rabbit eats the tiger. The rabbit is big. The rabbit is red. The rabbit visits the bear. The rabbit visits the tiger. The tiger chases the bear. The tiger eats the rabbit. The tiger is blue. The tiger visits the mouse. If the bear visits the tiger then the tiger is red. If the bear is green then the bear chases the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is round.
("bear" "is" "round" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If the bear visits the tiger then the tiger is red.
((("bear" "visits" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If the bear is green then the bear chases the tiger.
((("bear" "is" "green" "+")) -> ("bear" "chases" "tiger" "+"))
The tiger visits the mouse.
True
1
proof
[(triple15)]
("tiger" "visits" "mouse" "+")
triple15
The rabbit is not big.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "big" "-")
triple8
The rabbit does not chase the bear.
Unknown
inv-random
[@0: The rabbit chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bear" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bear chases the tiger.[(triple1)] The bear is round.[(triple2)] The bear visits the tiger.[(triple3)] The mouse chases the bear.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse eats the bear.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is big.[(triple8)] The rabbit is red.[(triple9)] The rabbit visits the bear.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger chases the bear.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger is blue.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The tiger is red.[(((triple3) -> rule1))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple4
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple5
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple6
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple11
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple12
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple13
The tiger is blue.
("tiger" "is" "blue" "+")
triple14
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple15
The tiger is red.
("tiger" "is" "red" "+")
((triple3) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1