Bob is not cold. Bob is rough. Dave is furry. Erin is cold. Erin is white. Harry is red. Harry is not rough. All white people are nice. If Harry is red and Harry is young then Harry is nice. If someone is rough then they are not young. All young people are white. All nice, white people are rough. If Bob is not young then Bob is not cold.
Erin is rough.
@0: Bob is not cold.[(triple1 OR ((((triple2) -> rule3)) -> rule6))] Bob is rough.[(triple2)] Dave is furry.[(triple3)] Erin is cold.[(triple4)] Erin is white.[(triple5)] Harry is not rough.[(triple7)] Harry is red.[(triple6)] @1: Bob is not young.[(((triple2) -> rule3))] Erin is nice.[(((triple5) -> rule1))] @2: Erin is rough.[(((((triple5) -> rule1) triple5) -> rule5))] @3: Erin is not young.[(((((((triple5) -> rule1) triple5) -> rule5)) -> rule3))]