Dave is kind. Dave is nice. Erin is cold. Erin is kind. Erin is not nice. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Harry is rough. Nice, kind things are big. All big things are not cold.
Dave is not rough.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is not nice.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is rough.[(triple9)] Harry is rough.[(triple10)] @1: Dave is big.[(((triple2 triple1) -> rule1))] Fiona is big.[(((triple8 triple7) -> rule1))] @2: Dave is not cold.[(((((triple2 triple1) -> rule1)) -> rule2))] Fiona is not cold.[(((((triple8 triple7) -> rule1)) -> rule2))]