Bob is big. Bob is quiet. Bob is smart. Bob is not young. Charlie is big. Charlie is not rough. Erin is rough. Erin is young. Fiona is not big. Fiona is cold. Fiona is rough. Fiona is smart. Quiet things are rough. If something is green then it is not rough. If Erin is not young then Erin is rough. Young, cold things are big. If Charlie is green and Charlie is big then Charlie is quiet. If Bob is green and Bob is young then Bob is cold.
Erin is not big.
@0: Bob is big.[(triple1)] Bob is not young.[(triple4)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Charlie is big.[(triple5)] Charlie is not rough.[(triple6)] Erin is rough.[(triple7)] Erin is young.[(triple8)] Fiona is cold.[(triple10)] Fiona is not big.[(triple9)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] @1: Bob is rough.[(((triple2) -> rule1))]