Charlie is blue. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is round. Charlie is smart. Fiona is furry. Fiona is rough. Fiona is young. Harry is kind. All young, rough people are smart. If Fiona is round and Fiona is smart then Fiona is kind. If Fiona is rough then Fiona is round. If someone is smart then they are round. If Fiona is rough and Fiona is blue then Fiona is smart. If someone is rough then they are kind.
Charlie is kind.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((triple4) -> rule6))] Charlie is rough.[(triple4)] Charlie is round.[(triple5 OR ((triple6) -> rule4))] Charlie is smart.[(triple6)] Fiona is furry.[(triple7)] Fiona is rough.[(triple8)] Fiona is young.[(triple9)] Harry is kind.[(triple10)] @1: Fiona is kind.[(((triple8) -> rule6) OR ((((triple8) -> rule3) ((triple9 triple8) -> rule1)) -> rule2) OR ((((((triple9 triple8) -> rule1)) -> rule4) ((triple9 triple8) -> rule1)) -> rule2))] Fiona is round.[(((triple8) -> rule3) OR ((((triple9 triple8) -> rule1)) -> rule4))] Fiona is smart.[(((triple9 triple8) -> rule1))]