The bear chases the tiger. The bear eats the tiger. The bear is green. The bear is kind. The bear is red. The bear visits the tiger. The tiger chases the bear. The tiger eats the bear. The tiger is blue. The tiger visits the bear. If something is red then it visits the bear. If the tiger eats the bear and the tiger is green then the bear is kind. If the bear visits the tiger then the bear eats the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something is red then it visits the bear.
((("something" "is" "red" "+")) -> ("something" "visits" "bear" "+"))
If the tiger eats the bear and the tiger is green then the bear is kind.
((("tiger" "eats" "bear" "+") ("tiger" "is" "green" "+")) -> ("bear" "is" "kind" "+"))
If the bear visits the tiger then the bear eats the tiger.
((("bear" "visits" "tiger" "+")) -> ("bear" "eats" "tiger" "+"))
The bear is red.
True
1
proof
[(triple5)]
("bear" "is" "red" "+")
triple5
The tiger does not visit the bear.
False
1
inv-proof
[(triple10)]
("tiger" "visits" "bear" "-")
triple10
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2 OR ((triple6) -> rule3))] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear visits the tiger.[(triple6)] The tiger chases the bear.[(triple7)] The tiger eats the bear.[(triple8)] The tiger is blue.[(triple9)] The tiger visits the bear.[(triple10)] @1: The bear visits the bear.[(((triple5) -> rule1))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple2
((triple6) -> (rule3 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple6
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple7
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple10
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple5) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1