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