Dave is cold. Dave is kind. Fiona is big. Fiona is kind. Fiona is smart. Gary is cold. Gary is young. Kind people are young. Nice people are young. Big, kind people are young. If someone is young and big then they are furry. Nice, kind people are furry. Smart, young people are nice. Big, nice people are cold. If someone is big and furry then they are nice.
Dave is big.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Fiona is big.[(triple3)] Fiona is kind.[(triple4)] Fiona is smart.[(triple5)] Gary is cold.[(triple6)] Gary is young.[(triple7)] @1: Dave is young.[(((triple2) -> rule1))] Fiona is young.[(((triple4) -> rule1) OR ((triple3 triple4) -> rule3))] @2: Fiona is furry.[(((((triple4) -> rule1) triple3) -> rule4) OR ((((triple3 triple4) -> rule3) triple3) -> rule4) OR ((((triple5 ((triple4) -> rule1)) -> rule6) triple4) -> rule5) OR ((((triple5 ((triple3 triple4) -> rule3)) -> rule6) triple4) -> rule5))] Fiona is nice.[(((triple5 ((triple4) -> rule1)) -> rule6) OR ((triple5 ((triple3 triple4) -> rule3)) -> rule6) OR ((triple3 ((((triple4) -> rule1) triple3) -> rule4)) -> rule8) OR ((triple3 ((((triple3 triple4) -> rule3) triple3) -> rule4)) -> rule8))] @3: Fiona is cold.[(((triple3 ((triple5 ((triple4) -> rule1)) -> rule6)) -> rule7) OR ((triple3 ((triple5 ((triple3 triple4) -> rule3)) -> rule6)) -> rule7) OR ((triple3 ((triple3 ((((triple4) -> rule1) triple3) -> rule4)) -> rule8)) -> rule7) OR ((triple3 ((triple3 ((((triple3 triple4) -> rule3) triple3) -> rule4)) -> rule8)) -> rule7))]