Fiona is cold. Fiona is furry. Fiona is kind. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. If something is red and kind then it is white. All kind, furry things are cold. If something is red and furry then it is kind. All furry things are kind. Young, white things are kind. All kind things are cold.
Fiona is kind.
@0: Fiona is cold.[(triple1 OR ((triple3) -> rule6) OR ((triple3 triple2) -> rule2) OR ((((triple2) -> rule4)) -> rule6) OR ((((triple4 triple2) -> rule3)) -> rule6) OR ((((triple7 triple6) -> rule5)) -> rule6) OR ((((triple2) -> rule4) triple2) -> rule2) OR ((((triple4 triple2) -> rule3) triple2) -> rule2) OR ((((triple7 triple6) -> rule5) triple2) -> rule2))] Fiona is furry.[(triple2)] Fiona is kind.[(triple3 OR ((triple2) -> rule4) OR ((triple4 triple2) -> rule3) OR ((triple7 triple6) -> rule5))] Fiona is red.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple2) -> rule4)) -> rule1) OR ((triple4 ((triple4 triple2) -> rule3)) -> rule1))] Fiona is young.[(triple7)]