The bear is big. The bear is red. The bear is rough. The bear is round. The bear is young. If someone is big then they are round. If the bear is big and the bear is round then the bear is red.
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If the bear is big and the bear is round then the bear is red.
((("bear" "is" "big" "+") ("bear" "is" "round" "+")) -> ("bear" "is" "red" "+"))
The bear is rough.
True
1
proof
[(triple3)]
("bear" "is" "rough" "+")
triple3
The bear is not rough.
False
1
inv-proof
[(triple3)]
("bear" "is" "rough" "-")
triple3
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 needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is big.[(triple1)] The bear is red.[(triple2 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple1) -> rule1)) -> rule2))] The bear is rough.[(triple3)] The bear is round.[(triple4 OR ((triple1) -> rule1))] The bear is young.[(triple5)]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
((triple1 triple4) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
((triple1) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple5