Bob is big. Bob is blue. Bob is cold. Bob is red. Bob is rough. Bob is round. Bob is smart. Gary is big. Gary is blue. Gary is cold. Gary is red. Gary is rough. Gary is round. Gary is smart. All red people are cold. Cold people are big.
Bob is big.
@0: Bob is big.[(triple1 OR ((triple3) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple4) -> rule1))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)] Gary is big.[(triple8 OR ((triple10) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] Gary is blue.[(triple9)] Gary is cold.[(triple10 OR ((triple11) -> rule1))] Gary is red.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14)]