Dave is big. Dave is cold. Dave is nice. Dave is red. Dave is rough. Dave is white. Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is white. Fiona is cold. Fiona is red. Fiona is rough. All red people are nice. If someone is cold and nice then they are big.
Dave is furry.
@0: Dave is big.[(triple1 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple4) -> rule1)) -> rule2))] Dave is cold.[(triple2)] Dave is nice.[(triple3 OR ((triple4) -> rule1))] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is white.[(triple6)] Erin is big.[(triple7 OR ((triple8 triple10) -> rule2) OR ((triple8 ((triple11) -> rule1)) -> rule2))] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is nice.[(triple10 OR ((triple11) -> rule1))] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is white.[(triple13)] Fiona is cold.[(triple14)] Fiona is red.[(triple15)] Fiona is rough.[(triple16)] @1: Fiona is nice.[(((triple15) -> rule1))] @2: Fiona is big.[(((triple14 ((triple15) -> rule1)) -> rule2))]