Dave is big. Dave is blue. Dave is kind. Dave is smart. Fiona is blue. Fiona is rough. Harry is blue. Harry is cold. Harry is kind. Harry is rough. All rough things are red.
Harry is not kind.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is kind.[(triple3)] Dave is smart.[(triple4)] Fiona is blue.[(triple5)] Fiona is rough.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is rough.[(triple10)] @1: Fiona is red.[(((triple6) -> rule1))] Harry is red.[(((triple10) -> rule1))]