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