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