Bob is green. Erin is cold. Gary is green. Cold things are big. Cold, kind things are nice. If Bob is green then Bob is nice. All kind, rough things are green. If something is cold and rough then it is nice. Green things are nice. If something is nice and quiet then it is rough. Big, green things are rough.
Erin is quiet.
@0: Bob is green.[(triple1)] Erin is cold.[(triple2)] Gary is green.[(triple3)] @1: Bob is nice.[(((triple1) -> rule3) OR ((triple1) -> rule6))] Erin is big.[(((triple2) -> rule1))] Gary is nice.[(((triple3) -> rule6))]