Bob is nice. Bob is rough. Dave is blue. Dave is nice. Dave is red. Erin is blue. Erin is quiet. Erin is red. Erin is young. Fiona is big. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. Quiet things are young. If something is young and nice then it is quiet. Nice, red things are big.
Erin is nice.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Dave is blue.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5)] Erin is blue.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Erin is young.[(triple9 OR ((triple7) -> rule1))] Fiona is big.[(triple10 OR ((triple12 triple14) -> rule3))] Fiona is blue.[(triple11)] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13 OR ((triple16 triple12) -> rule2))] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is young.[(triple16 OR ((triple13) -> rule1))] @1: Dave is big.[(((triple4 triple5) -> rule3))]