Dave is blue. Fiona is blue. If someone is blue and kind then they are cold. All green, cold people are nice. If someone is blue then they are kind. Cold people are furry. All furry people are cold. If someone is furry then they are cold. If Fiona is green and Fiona is furry then Fiona is kind. All furry people are green.
Fiona is not rough.
@0: Dave is blue.[(triple1)] Fiona is blue.[(triple2)] @1: Dave is kind.[(((triple1) -> rule3))] Fiona is kind.[(((triple2) -> rule3))] @2: Dave is cold.[(((triple1 ((triple1) -> rule3)) -> rule1))] Fiona is cold.[(((triple2 ((triple2) -> rule3)) -> rule1))] @3: Dave is furry.[(((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule4))] Fiona is furry.[(((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule4))] @4: Dave is green.[(((((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule8))] Fiona is green.[(((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule4)) -> rule8))] @5: Dave is nice.[(((((((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2))] Fiona is nice.[(((((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule4)) -> rule8) ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule2))]