Charlie is cold. Charlie is nice. Charlie is quiet. Fiona is cold. Fiona is nice. Gary is not big. Gary is not quiet. Gary is round. Harry is big. Harry is nice. If someone is quiet and furry then they are big. All cold people are big. All round, nice people are big. If Charlie is nice and Charlie is cold then Charlie is round. If someone is quiet and red then they are furry. Cold, big people are quiet. All quiet people are nice. All furry people are red.
Harry is not red.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2 OR ((triple3) -> rule7) OR ((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule7))] Charlie is quiet.[(triple3 OR ((triple1 ((triple1) -> rule2)) -> rule6) OR ((triple1 ((((triple2 triple1) -> rule4) triple2) -> rule3)) -> rule6))] Fiona is cold.[(triple4)] Fiona is nice.[(triple5 OR ((((triple4 ((triple4) -> rule2)) -> rule6)) -> rule7))] Gary is not big.[(triple6)] Gary is not quiet.[(triple7)] Gary is round.[(triple8)] Harry is big.[(triple9)] Harry is nice.[(triple10)] @1: Charlie is big.[(((triple1) -> rule2) OR ((((triple2 triple1) -> rule4) triple2) -> rule3) OR ((((triple2 triple1) -> rule4) ((triple3) -> rule7)) -> rule3) OR ((((((triple3) -> rule7) triple1) -> rule4) triple2) -> rule3) OR ((((((triple3) -> rule7) triple1) -> rule4) ((triple3) -> rule7)) -> rule3))] Charlie is round.[(((triple2 triple1) -> rule4) OR ((((triple3) -> rule7) triple1) -> rule4) OR ((((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule7) triple1) -> rule4))] Fiona is big.[(((triple4) -> rule2))] @2: Fiona is quiet.[(((triple4 ((triple4) -> rule2)) -> rule6))]