Charlie is big. Charlie is cold. Charlie is green. Charlie is red. Charlie is rough. Charlie is young. Dave is big. Dave is cold. Dave is red. Dave is rough. Dave is white. Dave is young. Erin is cold. Erin is rough. Fiona is young. All cold, rough things are big. If Charlie is cold and Charlie is red then Charlie is rough. Big, green things are young.
Erin is young.
@0: Charlie is big.[(triple1 OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple2 triple4) -> rule2)) -> rule1))] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple2 triple4) -> rule2))] Charlie is young.[(triple6 OR ((triple1 triple3) -> rule3) OR ((((triple2 triple5) -> rule1) triple3) -> rule3) OR ((((triple2 ((triple2 triple4) -> rule2)) -> rule1) triple3) -> rule3))] Dave is big.[(triple7 OR ((triple8 triple10) -> rule1))] Dave is cold.[(triple8)] Dave is red.[(triple9)] Dave is rough.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12)] Erin is cold.[(triple13)] Erin is rough.[(triple14)] Fiona is young.[(triple15)] @1: Erin is big.[(((triple13 triple14) -> rule1))]