Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is round. If someone is green then they are nice. All blue people are green. All round, green people are blue.
Harry is not kind.
@0: Fiona is blue.[(triple1 OR ((triple7 triple3) -> rule3))] Fiona is cold.[(triple2)] Fiona is green.[(triple3 OR ((triple1) -> rule2))] Fiona is kind.[(triple4)] Fiona is nice.[(triple5 OR ((triple3) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] Fiona is red.[(triple6)] Fiona is round.[(triple7)] Harry is blue.[(triple8 OR ((triple14 triple10) -> rule3))] Harry is cold.[(triple9)] Harry is green.[(triple10 OR ((triple8) -> rule2))] Harry is kind.[(triple11)] Harry is nice.[(triple12 OR ((triple10) -> rule1) OR ((((triple8) -> rule2)) -> rule1))] Harry is red.[(triple13)] Harry is round.[(triple14)]