Erin is big. Erin is cold. Erin is green. Erin is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is young. Harry is furry. Harry is green. Harry is nice. Harry is young. If Harry is nice then Harry is red. If Fiona is furry and Fiona is red then Fiona is green. Young, nice things are green.
Harry is cold.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is young.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8 OR ((triple11 triple9) -> rule3) OR ((triple7 triple10) -> rule2))] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Fiona is young.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13 OR ((triple15 triple14) -> rule3))] Harry is nice.[(triple14)] Harry is young.[(triple15)] @1: Harry is red.[(((triple14) -> rule1))]