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