Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is round. Erin is smart. Harry is big. Harry is cold. Harry is kind. Harry is rough. Harry is round. All rough, big things are kind. If Erin is cold and Erin is kind then Erin is furry.
Harry is smart.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple2 triple4) -> rule2) OR ((triple2 ((triple5 triple1) -> rule1)) -> rule2))] Erin is kind.[(triple4 OR ((triple5 triple1) -> rule1))] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is kind.[(triple10 OR ((triple11 triple8) -> rule1))] Harry is rough.[(triple11)] Harry is round.[(triple12)]