Bob is green. Bob is nice. Bob is quiet. Erin is quiet. Erin is red. Gary is big. Gary is red. If Bob is red then Bob is not nice. If someone is cold and quiet then they are rough. Nice people are green. All big, red people are green. If Erin is quiet then Erin is cold. If someone is red and rough then they are big.
Bob is not rough.
@0: Bob is green.[(triple1 OR ((triple2) -> rule3))] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Gary is big.[(triple6)] Gary is red.[(triple7)] @1: Erin is cold.[(((triple4) -> rule5))] Gary is green.[(((triple6 triple7) -> rule4))] @2: Erin is rough.[(((((triple4) -> rule5) triple4) -> rule2))] @3: Erin is big.[(((triple5 ((((triple4) -> rule5) triple4) -> rule2)) -> rule6))] @4: Erin is green.[(((((triple5 ((((triple4) -> rule5) triple4) -> rule2)) -> rule6) triple5) -> rule4))]