Fiona is furry. Fiona is red. Fiona is white. If someone is furry and red then they are cold. If someone is kind and red then they are blue. Cold people are kind. If someone is red and cold then they are not big. Kind, cold people are furry. All red people are furry.
Fiona is kind.
@0: Fiona is furry.[(triple1 OR ((triple2) -> rule6))] Fiona is red.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is cold.[(((triple1 triple2) -> rule1) OR ((((triple2) -> rule6) triple2) -> rule1))] @2: Fiona is kind.[(((((triple1 triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule6) triple2) -> rule1)) -> rule3))] Fiona is not big.[(((triple2 ((triple1 triple2) -> rule1)) -> rule4) OR ((triple2 ((((triple2) -> rule6) triple2) -> rule1)) -> rule4))] @3: Fiona is blue.[(((((((triple1 triple2) -> rule1)) -> rule3) triple2) -> rule2) OR ((((((((triple2) -> rule6) triple2) -> rule1)) -> rule3) triple2) -> rule2))]