The bear eats the tiger. The bear is big. The bear is kind. The bear is not red. The bear is rough. The bear sees the tiger. The bear visits the tiger. The tiger eats the bear. The tiger is big. The tiger is kind. The tiger is not red. The tiger is not rough. The tiger is not young. The tiger sees the bear. The tiger visits the bear. If something eats the tiger then it visits the bear.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger is not young.
("tiger" "is" "young" "-")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something eats the tiger then it visits the bear.
((("something" "eats" "tiger" "+")) -> ("something" "visits" "bear" "+"))
The bear is not red.
True
1
proof
[(triple4)]
("bear" "is" "red" "-")
triple4
The tiger is red.
False
1
inv-proof
[(triple11)]
("tiger" "is" "red" "+")
triple11
The bear visits the bear.
True
2
proof
[(((triple1) -> rule1))]
("bear" "visits" "bear" "+")
((triple1) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "visits" "bear" "-")
((triple1) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is not red.[(triple4)] The bear is rough.[(triple5)] The bear sees the tiger.[(triple6)] The bear visits the tiger.[(triple7)] The tiger eats the bear.[(triple8)] The tiger is big.[(triple9)] The tiger is kind.[(triple10)] The tiger is not red.[(triple11)] The tiger is not rough.[(triple12)] The tiger is not young.[(triple13)] The tiger sees the bear.[(triple14)] The tiger visits the bear.[(triple15)] @1: The bear visits the bear.[(((triple1) -> rule1))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is not red.
("bear" "is" "red" "-")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple6
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple7
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple8
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The tiger is not red.
("tiger" "is" "red" "-")
triple11
The tiger is not rough.
("tiger" "is" "rough" "-")
triple12
The tiger is not young.
("tiger" "is" "young" "-")
triple13
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple14
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple15
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple1) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1