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