Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. If Charlie is red and Charlie is green then Charlie is quiet. All quiet things are smart. If Charlie is kind then Charlie is furry.
Charlie is red.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule3))] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5 OR ((triple6 triple3) -> rule1))] Charlie is red.[(triple6)] Charlie is smart.[(triple7 OR ((triple5) -> rule2) OR ((((triple6 triple3) -> rule1)) -> rule2))]