Bob is big. Bob is blue. Bob is not green. Bob is round. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Fiona is big. Fiona is furry. Fiona is round. Gary is blue. Gary is green. Gary is not round. Blue people are big. All green people are furry.
Bob is big.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1))] Bob is blue.[(triple2)] Bob is not green.[(triple3)] Bob is round.[(triple4)] Erin is big.[(triple5 OR ((triple6) -> rule1))] Erin is blue.[(triple6)] Erin is furry.[(triple7 OR ((triple8) -> rule2))] Erin is green.[(triple8)] Erin is kind.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11)] Fiona is round.[(triple12)] Gary is blue.[(triple13)] Gary is green.[(triple14)] Gary is not round.[(triple15)] @1: Gary is big.[(((triple13) -> rule1))] Gary is furry.[(((triple14) -> rule2))]