Erin is green. Erin is nice. Erin is quiet. Erin is red. Fiona is big. Fiona is cold. Fiona is nice. Harry is big. Harry is cold. Harry is green. Harry is quiet. Harry is red. All rough, cold things are green. If Fiona is green and Fiona is quiet then Fiona is cold. Big, nice things are rough. If something is green and quiet then it is nice. All cold, big things are red. If something is red and green then it is rough. If something is cold and rough then it is green. If Fiona is red and Fiona is rough then Fiona is big.
Erin is not red.
@0: Erin is green.[(triple1)] Erin is nice.[(triple2 OR ((triple1 triple3) -> rule4))] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is nice.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12 OR ((triple9 triple8) -> rule5))] @1: Erin is rough.[(((triple4 triple1) -> rule6))] Fiona is red.[(((triple6 triple5) -> rule5))] Fiona is rough.[(((triple5 triple7) -> rule3))] Harry is nice.[(((triple10 triple11) -> rule4))] Harry is rough.[(((triple12 triple10) -> rule6) OR ((triple8 ((triple10 triple11) -> rule4)) -> rule3) OR ((((triple9 triple8) -> rule5) triple10) -> rule6))] @2: Fiona is green.[(((triple6 ((triple5 triple7) -> rule3)) -> rule7) OR ((((triple5 triple7) -> rule3) triple6) -> rule1))]