Bob is big. Bob is cold. Bob is furry. Bob is red. Bob is rough. Bob is smart. Bob is white. Charlie is big. Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Smart things are white. If something is white and smart then it is furry. Smart, cold things are white.
Charlie is big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple7 triple6) -> rule2) OR ((((triple6) -> rule1) triple6) -> rule2) OR ((((triple6 triple2) -> rule3) triple6) -> rule2))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple6) -> rule1) OR ((triple6 triple2) -> rule3))] Charlie is big.[(triple8)] Charlie is cold.[(triple9)] Charlie is furry.[(triple10 OR ((triple14 triple13) -> rule2) OR ((((triple13) -> rule1) triple13) -> rule2) OR ((((triple13 triple9) -> rule3) triple13) -> rule2))] Charlie is red.[(triple11)] Charlie is rough.[(triple12)] Charlie is smart.[(triple13)] Charlie is white.[(triple14 OR ((triple13) -> rule1) OR ((triple13 triple9) -> rule3))]