Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is rough. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is red. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is rough. All furry people are red. If Fiona is blue and Fiona is rough then Fiona is green. All rough people are furry. All blue people are green. All blue people are red. If Fiona is red and Fiona is kind then Fiona is green.
Harry is green.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2 OR ((triple7) -> rule3))] Dave is green.[(triple3 OR ((triple1) -> rule4))] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is red.[(triple6 OR ((triple1) -> rule5) OR ((triple2) -> rule1) OR ((((triple7) -> rule3)) -> rule1))] Dave is rough.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is red.[(triple11 OR ((triple8) -> rule5))] Harry is furry.[(triple12 OR ((triple16) -> rule3))] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15 OR ((triple12) -> rule1) OR ((((triple16) -> rule3)) -> rule1))] Harry is rough.[(triple16)] @1: Fiona is green.[(((triple8) -> rule4) OR ((triple11 triple9) -> rule6) OR ((((triple8) -> rule5) triple9) -> rule6))]