Charlie is kind. Fiona is cold. Gary is furry. Cold things are smart. All smart things are nice. If something is smart and nice then it is kind. All young, furry things are cold. All smart, kind things are young. Young things are nice. All kind things are smart. All kind things are cold.
Charlie is kind.
@0: Charlie is kind.[(triple1)] Fiona is cold.[(triple2)] Gary is furry.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule8))] Charlie is smart.[(((triple1) -> rule7) OR ((((triple1) -> rule8)) -> rule1))] Fiona is smart.[(((triple2) -> rule1))] @2: Charlie is nice.[(((((triple1) -> rule7)) -> rule2) OR ((((((triple1) -> rule8)) -> rule1)) -> rule2) OR ((((((triple1) -> rule7) triple1) -> rule5)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule1) triple1) -> rule5)) -> rule6))] Charlie is young.[(((((triple1) -> rule7) triple1) -> rule5) OR ((((((triple1) -> rule8)) -> rule1) triple1) -> rule5))] Fiona is nice.[(((((triple2) -> rule1)) -> rule2))] @3: Fiona is kind.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule3))] @4: Fiona is young.[(((((triple2) -> rule1) ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule3)) -> rule5))]