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