Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is red. Erin is smart. Erin is young. Fiona is green. Fiona is smart. Fiona is young. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is young. Smart people are kind. All red people are smart. If Gary is young and Gary is big then Gary is green.
Gary is kind.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4 OR ((triple6) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Erin is red.[(triple5)] Erin is smart.[(triple6 OR ((triple5) -> rule2))] Erin is young.[(triple7)] Fiona is green.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13 OR ((((triple14) -> rule2)) -> rule1))] Gary is red.[(triple14)] Gary is young.[(triple15)] @1: Fiona is kind.[(((triple9) -> rule1))] Gary is smart.[(((triple14) -> rule2))]