The bear is green. The bear is kind. The bear is red. The bear is rough. The bear is round. Rough, kind things are round. All round, green things are rough. Green, red things are rough.
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
Rough, kind things are round.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All round, green things are rough.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Green, red things are rough.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
The bear is rough.
True
1
proof
[(triple4 OR ((triple1 triple3) -> rule3) OR ((triple5 triple1) -> rule2))]
("bear" "is" "rough" "+")
triple4
((triple1 triple3) -> (rule3 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
((triple5 triple1) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not green.
False
1
inv-proof
[(triple1)]
("bear" "is" "green" "-")
triple1
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 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)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4 OR ((triple1 triple3) -> rule3) OR ((triple5 triple1) -> rule2))] The bear is round.[(triple5 OR ((triple4 triple2) -> rule1) OR ((((triple1 triple3) -> rule3) triple2) -> rule1))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
((triple1 triple3) -> (rule3 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
((triple5 triple1) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is round.
("bear" "is" "round" "+")
triple5
((triple4 triple2) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((((triple1 triple3) -> (rule3 % int2)) triple2) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2