Anne is big. Anne is nice. Anne is red. Anne is white. Bob is big. Bob is kind. Bob is white. Bob is young. Fiona is big. Fiona is kind. Fiona is nice. Fiona is white. Fiona is young. Gary is nice. Gary is young. All nice things are big.
Anne is big.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Bob is big.[(triple5)] Bob is kind.[(triple6)] Bob is white.[(triple7)] Bob is young.[(triple8)] Fiona is big.[(triple9 OR ((triple11) -> rule1))] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is white.[(triple12)] Fiona is young.[(triple13)] Gary is nice.[(triple14)] Gary is young.[(triple15)] @1: Gary is big.[(((triple14) -> rule1))]