Bob is nice. Bob is red. Dave is green. Dave is nice. Dave is round. Dave is young. Erin is nice. Erin is round. Erin is young. Fiona is green. Fiona is nice. Fiona is round. If something is young and red then it is round. All red things are young. Round things are cold.
Dave is red.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is round.[(triple5)] Dave is young.[(triple6)] Erin is nice.[(triple7)] Erin is round.[(triple8)] Erin is young.[(triple9)] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is round.[(triple12)] @1: Bob is young.[(((triple2) -> rule2))] Dave is cold.[(((triple5) -> rule3))] Erin is cold.[(((triple8) -> rule3))] Fiona is cold.[(((triple12) -> rule3))] @2: Bob is round.[(((((triple2) -> rule2) triple2) -> rule1))] @3: Bob is cold.[(((((((triple2) -> rule2) triple2) -> rule1)) -> rule3))]