Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is red. Bob is white. Bob is young. Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is red. Charlie is white. Charlie is young. If someone is red then they are young. If Bob is blue and Bob is white then Bob is green. If someone is big and young then they are red.
Charlie is not cold.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4 OR ((triple2 triple6) -> rule2))] Bob is red.[(triple5 OR ((triple1 triple7) -> rule3))] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple5) -> rule1))] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Charlie is cold.[(triple10)] Charlie is green.[(triple11)] Charlie is red.[(triple12 OR ((triple8 triple14) -> rule3))] Charlie is white.[(triple13)] Charlie is young.[(triple14 OR ((triple12) -> rule1))]