Bob is green. Erin is big. Erin is rough. If Erin is green then Erin is rough. If Bob is big then Bob is smart. If something is cold and blue then it is smart. Smart things are cold. If Erin is white then Erin is smart. If something is big then it is green.
Bob is green.
@0: Bob is green.[(triple1)] Erin is big.[(triple2)] Erin is rough.[(triple3 OR ((((triple2) -> rule6)) -> rule1))] @1: Erin is green.[(((triple2) -> rule6))]