The bear is blue. The bear is green. The bear is rough. The bear is round. The bear is young. Rough people are green. If someone is rough then they are green. All young people are green. Rough people are young. Green people are blue. Young, blue people are rough. All rough, round people are green. If the bear is round then the bear is young.
The bear visits the bear.
@0: The bear is blue.[(triple1 OR ((triple2) -> rule5) OR ((((triple3) -> rule1)) -> rule5) OR ((((triple3) -> rule2)) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((triple3 triple4) -> rule7)) -> rule5) OR ((((((triple3) -> rule4)) -> rule3)) -> rule5) OR ((((((triple4) -> rule8)) -> rule3)) -> rule5))] The bear is green.[(triple2 OR ((triple3) -> rule1) OR ((triple3) -> rule2) OR ((triple5) -> rule3) OR ((triple3 triple4) -> rule7) OR ((((triple3) -> rule4)) -> rule3) OR ((((triple4) -> rule8)) -> rule3) OR ((((triple5 triple1) -> rule6)) -> rule1) OR ((((triple5 triple1) -> rule6)) -> rule2) OR ((((triple5 triple1) -> rule6) triple4) -> rule7) OR ((((((triple4) -> rule8) triple1) -> rule6)) -> rule1) OR ((((((triple4) -> rule8) triple1) -> rule6)) -> rule2) OR ((((((triple4) -> rule8) triple1) -> rule6) triple4) -> rule7))] The bear is rough.[(triple3 OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple2) -> rule5)) -> rule6) OR ((((triple4) -> rule8) triple1) -> rule6) OR ((((triple4) -> rule8) ((triple2) -> rule5)) -> rule6) OR ((triple5 ((((triple5) -> rule3)) -> rule5)) -> rule6) OR ((((triple4) -> rule8) ((((triple5) -> rule3)) -> rule5)) -> rule6) OR ((triple5 ((((((triple4) -> rule8)) -> rule3)) -> rule5)) -> rule6) OR ((((triple4) -> rule8) ((((((triple4) -> rule8)) -> rule3)) -> rule5)) -> rule6))] The bear is round.[(triple4)] The bear is young.[(triple5 OR ((triple3) -> rule4) OR ((triple4) -> rule8))]