Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is young. Dave is green. Dave is nice. Dave is quiet. Dave is young. Fiona is green. Fiona is quiet. Fiona is young. All nice people are rough. Rough people are cold. If someone is cold and young then they are red.
Bob is quiet.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((((((triple2) -> rule1)) -> rule2) triple5) -> rule3))] Bob is young.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8)] Dave is young.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Fiona is young.[(triple12)] @1: Bob is rough.[(((triple2) -> rule1))] Dave is rough.[(((triple7) -> rule1))] @2: Bob is cold.[(((((triple2) -> rule1)) -> rule2))] Dave is cold.[(((((triple7) -> rule1)) -> rule2))] @3: Dave is red.[(((((((triple7) -> rule1)) -> rule2) triple9) -> rule3))]