Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is young. Fiona is quiet. Fiona is red. Fiona is young. Harry is cold. Harry is kind. Harry is red. All kind people are big. If someone is cold and red then they are big. If someone is nice and young then they are quiet. If someone is quiet then they are young. All kind people are nice. If someone is quiet then they are young.
Erin is not red.
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3 OR ((triple2) -> rule5))] Erin is quiet.[(triple4 OR ((triple3 triple6) -> rule3) OR ((((triple2) -> rule5) triple6) -> rule3))] Erin is red.[(triple5)] Erin is young.[(triple6 OR ((triple4) -> rule4) OR ((triple4) -> rule6))] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Fiona is young.[(triple9 OR ((triple7) -> rule4) OR ((triple7) -> rule6))] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is red.[(triple12)] @1: Erin is big.[(((triple2) -> rule1) OR ((triple1 triple5) -> rule2))] Harry is big.[(((triple11) -> rule1) OR ((triple10 triple12) -> rule2))] Harry is nice.[(((triple11) -> rule5))]