Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is smart. Dave is furry. Dave is rough. Fiona is kind. Fiona is young. Harry is red. If something is rough then it is cold. All smart things are red. All kind things are rough. All red, kind things are rough. If Dave is cold and Dave is young then Dave is kind. Cold, young things are furry. Cold, furry things are smart.
Harry is young.
@0: Charlie is cold.[(triple1 OR ((triple4) -> rule1))] Charlie is furry.[(triple2)] Charlie is red.[(triple3 OR ((triple5) -> rule2) OR ((((triple1 triple2) -> rule7)) -> rule2) OR ((((((triple4) -> rule1) triple2) -> rule7)) -> rule2))] Charlie is rough.[(triple4)] Charlie is smart.[(triple5 OR ((triple1 triple2) -> rule7) OR ((((triple4) -> rule1) triple2) -> rule7))] Dave is furry.[(triple6)] Dave is rough.[(triple7)] Fiona is kind.[(triple8)] Fiona is young.[(triple9)] Harry is red.[(triple10)] @1: Dave is cold.[(((triple7) -> rule1))] Fiona is rough.[(((triple8) -> rule3))] @2: Dave is smart.[(((((triple7) -> rule1) triple6) -> rule7))] Fiona is cold.[(((((triple8) -> rule3)) -> rule1))] @3: Dave is red.[(((((((triple7) -> rule1) triple6) -> rule7)) -> rule2))] Fiona is furry.[(((((((triple8) -> rule3)) -> rule1) triple9) -> rule6))] @4: Fiona is smart.[(((((((triple8) -> rule3)) -> rule1) ((((((triple8) -> rule3)) -> rule1) triple9) -> rule6)) -> rule7))] @5: Fiona is red.[(((((((((triple8) -> rule3)) -> rule1) ((((((triple8) -> rule3)) -> rule1) triple9) -> rule6)) -> rule7)) -> rule2))]