Charlie is big. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is rough. Charlie is round. Fiona is cold. Fiona is kind. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is rough. Harry is round. If someone is round and quiet then they are rough. If Harry is big and Harry is kind then Harry is rough. All round, big people are cold. All quiet people are round. If someone is rough and not quiet then they are big. If someone is kind and not round then they are blue.
Harry is quiet.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple6 triple1) -> rule3) OR ((((triple4) -> rule4) triple1) -> rule3))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5 OR ((triple6 triple4) -> rule1) OR ((((triple4) -> rule4) triple4) -> rule1))] Charlie is round.[(triple6 OR ((triple4) -> rule4))] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple15 triple9) -> rule3) OR ((((triple13) -> rule4) triple9) -> rule3))] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14 OR ((triple15 triple13) -> rule1) OR ((triple9 triple12) -> rule2) OR ((((triple13) -> rule4) triple13) -> rule1))] Harry is round.[(triple15 OR ((triple13) -> rule4))]