The bear is green. The bear is kind. The bear is nice. The bear is round. The bear is young. The bear likes the tiger. The bear sees the tiger. The bear visits the tiger. The tiger is green. The tiger is kind. The tiger is nice. The tiger is round. The tiger is young. The tiger likes the bear. The tiger sees the bear. The tiger visits the bear. If someone is nice and young then they visit the bear. If the bear visits the tiger and the bear sees the tiger then the bear is green. If someone sees the bear then the bear visits the tiger.
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone is nice and young then they visit the bear.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "visits" "bear" "+"))
If the bear visits the tiger and the bear sees the tiger then the bear is green.
((("bear" "visits" "tiger" "+") ("bear" "sees" "tiger" "+")) -> ("bear" "is" "green" "+"))
If someone sees the bear then the bear visits the tiger.
((("someone" "sees" "bear" "+")) -> ("bear" "visits" "tiger" "+"))
The tiger sees the bear.
True
1
proof
[(triple15)]
("tiger" "sees" "bear" "+")
triple15
The bear is not kind.
False
1
inv-proof
[(triple2)]
("bear" "is" "kind" "-")
triple2
The bear visits the bear.
True
3
proof
[(((triple3 triple5) -> rule1))]
("bear" "visits" "bear" "+")
((triple3 triple5) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
3
inv-proof
[(((triple3 triple5) -> rule1))]
("bear" "visits" "bear" "-")
((triple3 triple5) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
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 sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear is green.[(triple1 OR ((triple8 triple7) -> rule2) OR ((((triple15) -> rule3) triple7) -> rule2))] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear likes the tiger.[(triple6)] The bear sees the tiger.[(triple7)] The bear visits the tiger.[(triple8 OR ((triple15) -> rule3))] The tiger is green.[(triple9)] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger likes the bear.[(triple14)] The tiger sees the bear.[(triple15)] The tiger visits the bear.[(triple16 OR ((triple11 triple13) -> rule1))] @1: The bear visits the bear.[(((triple3 triple5) -> rule1))]
The bear is green.
("bear" "is" "green" "+")
triple1
((triple8 triple7) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((((triple15) -> (rule3 % int2)) triple7) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple6
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple7
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple8
((triple15) -> (rule3 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The tiger is round.
("tiger" "is" "round" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple14
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple15
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple16
((triple11 triple13) -> (rule1 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple3 triple5) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1