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