Fiona is furry. Gary is furry. Harry is red. If Gary is big and Gary is green then Gary is rough. All big, green things are furry. If something is furry and kind then it is big. All furry things are kind. If something is rough and green then it is red. All kind, big things are round. All big things are red. All kind, furry things are red.
Gary is not kind.
@0: Fiona is furry.[(triple1)] Gary is furry.[(triple2)] Harry is red.[(triple3)] @1: Fiona is kind.[(((triple1) -> rule4))] Gary is kind.[(((triple2) -> rule4))] @2: Fiona is big.[(((triple1 ((triple1) -> rule4)) -> rule3))] Fiona is red.[(((((triple1) -> rule4) triple1) -> rule8) OR ((((triple1 ((triple1) -> rule4)) -> rule3)) -> rule7))] Gary is big.[(((triple2 ((triple2) -> rule4)) -> rule3))] Gary is red.[(((((triple2) -> rule4) triple2) -> rule8) OR ((((triple2 ((triple2) -> rule4)) -> rule3)) -> rule7))] @3: Fiona is round.[(((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule3)) -> rule6))] Gary is round.[(((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule3)) -> rule6))]