Charlie is big. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is young. If something is green then it is young. If something is young then it is rough. If something is cold and green then it is young. If Charlie is nice and Charlie is big then Charlie is rough. If something is young then it is red. If something is young and cold then it is red. All green things are nice. All nice, cold things are green.
Charlie is big.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple4 triple2) -> rule8))] Charlie is nice.[(triple4 OR ((triple3) -> rule7))] Charlie is red.[(triple5 OR ((triple7) -> rule5) OR ((triple7 triple2) -> rule6) OR ((((triple3) -> rule1)) -> rule5) OR ((((triple2 triple3) -> rule3)) -> rule5) OR ((((triple3) -> rule1) triple2) -> rule6) OR ((((triple2 triple3) -> rule3) triple2) -> rule6) OR ((((((triple4 triple2) -> rule8)) -> rule1)) -> rule5) OR ((((triple2 ((triple4 triple2) -> rule8)) -> rule3)) -> rule5) OR ((((((triple4 triple2) -> rule8)) -> rule1) triple2) -> rule6) OR ((((triple2 ((triple4 triple2) -> rule8)) -> rule3) triple2) -> rule6))] Charlie is rough.[(triple6 OR ((triple7) -> rule2) OR ((triple4 triple1) -> rule4) OR ((((triple3) -> rule1)) -> rule2) OR ((((triple2 triple3) -> rule3)) -> rule2) OR ((((triple3) -> rule7) triple1) -> rule4) OR ((((((triple4 triple2) -> rule8)) -> rule1)) -> rule2) OR ((((triple2 ((triple4 triple2) -> rule8)) -> rule3)) -> rule2))] Charlie is young.[(triple7 OR ((triple3) -> rule1) OR ((triple2 triple3) -> rule3) OR ((((triple4 triple2) -> rule8)) -> rule1) OR ((triple2 ((triple4 triple2) -> rule8)) -> rule3))]