Charlie is big. Charlie is kind. Charlie is rough. Charlie is smart. Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is rough. Fiona is furry. Harry is big. Harry is cold. Harry is nice. Harry is smart. If someone is kind then they are nice. All big people are kind.
Fiona is big.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2 OR ((triple1) -> rule2))] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Dave is big.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is kind.[(triple8 OR ((triple5) -> rule2))] Dave is nice.[(triple9 OR ((triple8) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Dave is rough.[(triple10)] Fiona is furry.[(triple11)] Harry is big.[(triple12)] Harry is cold.[(triple13)] Harry is nice.[(triple14 OR ((((triple12) -> rule2)) -> rule1))] Harry is smart.[(triple15)] @1: Charlie is nice.[(((triple2) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] Harry is kind.[(((triple12) -> rule2))]