Bob is blue. Bob is cold. Bob is nice. Bob is smart. Charlie is young. Dave is cold. Dave is rough. Dave is smart. Erin is furry. Erin is smart. If someone is young then they are nice. If someone is rough then they are blue. If someone is nice then they are rough.
Charlie is not rough.
@0: Bob is blue.[(triple1 OR ((((triple3) -> rule3)) -> rule2))] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is smart.[(triple4)] Charlie is young.[(triple5)] Dave is cold.[(triple6)] Dave is rough.[(triple7)] Dave is smart.[(triple8)] Erin is furry.[(triple9)] Erin is smart.[(triple10)] @1: Bob is rough.[(((triple3) -> rule3))] Charlie is nice.[(((triple5) -> rule1))] Dave is blue.[(((triple7) -> rule2))] @2: Charlie is rough.[(((((triple5) -> rule1)) -> rule3))] @3: Charlie is blue.[(((((((triple5) -> rule1)) -> rule3)) -> rule2))]