Charlie is big. Charlie is blue. Charlie is furry. Charlie is rough. Charlie is smart. Dave is furry. Gary is big. Gary is furry. Gary is kind. Gary is red. Blue things are red. All smart, rough things are furry. All furry things are rough. Red, big things are rough. If Charlie is blue then Charlie is furry. All big things are kind.
Charlie is smart.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple2) -> rule5) OR ((triple5 triple4) -> rule2) OR ((triple5 ((((triple2) -> rule1) triple1) -> rule4)) -> rule2))] Charlie is rough.[(triple4 OR ((triple3) -> rule3) OR ((((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule1) triple1) -> rule4))] Charlie is smart.[(triple5)] Dave is furry.[(triple6)] Gary is big.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9 OR ((triple7) -> rule6))] Gary is red.[(triple10)] @1: Charlie is kind.[(((triple1) -> rule6))] Charlie is red.[(((triple2) -> rule1))] Dave is rough.[(((triple6) -> rule3))] Gary is rough.[(((triple8) -> rule3) OR ((triple10 triple7) -> rule4))]