Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is smart. If something is round and smart then it is kind. All round, rough things are kind. Smart, quiet things are rough. Cold things are kind. Green things are kind. If something is rough then it is smart.
Harry is kind.
@0: Fiona is cold.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3 OR ((triple1) -> rule4) OR ((triple2) -> rule5) OR ((triple6 triple5) -> rule2) OR ((triple6 triple7) -> rule1) OR ((triple6 ((triple5) -> rule6)) -> rule1) OR ((triple6 ((triple7 triple4) -> rule3)) -> rule2))] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5 OR ((triple7 triple4) -> rule3))] Fiona is round.[(triple6)] Fiona is smart.[(triple7 OR ((triple5) -> rule6))] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10 OR ((triple8) -> rule4) OR ((triple9) -> rule5) OR ((triple13 triple12) -> rule2) OR ((triple13 triple14) -> rule1) OR ((triple13 ((triple12) -> rule6)) -> rule1) OR ((triple13 ((triple14 triple11) -> rule3)) -> rule2))] Harry is quiet.[(triple11)] Harry is rough.[(triple12 OR ((triple14 triple11) -> rule3))] Harry is round.[(triple13)] Harry is smart.[(triple14 OR ((triple12) -> rule6))]