Anne is big. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is round. Bob is big. Bob is cold. Bob is nice. Bob is red. Bob is rough. Bob is round. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is round. All big things are cold.
Bob is not big.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Bob is big.[(triple7)] Bob is cold.[(triple8 OR ((triple7) -> rule1))] Bob is nice.[(triple9)] Bob is red.[(triple10)] Bob is rough.[(triple11)] Bob is round.[(triple12)] Fiona is cold.[(triple13)] Fiona is nice.[(triple14)] Fiona is rough.[(triple15)] Fiona is round.[(triple16)] @1: Anne is cold.[(((triple1) -> rule1))]