Bob is smart. Bob is young. Charlie is cold. Charlie is round. Charlie is white. Charlie is young. Gary is smart. Gary is white. Harry is rough. Harry is smart. Harry is white. All red people are round. Round, smart people are cold. If someone is cold and young then they are white. Red people are round. All round, young people are red. If someone is smart then they are rough. Rough, young people are red. If Bob is round then Bob is smart. If Charlie is white and Charlie is rough then Charlie is young.
Harry is not round.
@0: Bob is smart.[(triple1)] Bob is young.[(triple2)] Charlie is cold.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5 OR ((triple3 triple6) -> rule3))] Charlie is young.[(triple6)] Gary is smart.[(triple7)] Gary is white.[(triple8)] Harry is rough.[(triple9 OR ((triple10) -> rule6))] Harry is smart.[(triple10)] Harry is white.[(triple11)] @1: Bob is rough.[(((triple1) -> rule6))] Charlie is red.[(((triple4 triple6) -> rule5))] Gary is rough.[(((triple7) -> rule6))] @2: Bob is red.[(((((triple1) -> rule6) triple2) -> rule7))] @3: Bob is round.[(((((((triple1) -> rule6) triple2) -> rule7)) -> rule1) OR ((((((triple1) -> rule6) triple2) -> rule7)) -> rule4))] @4: Bob is cold.[(((((((((triple1) -> rule6) triple2) -> rule7)) -> rule1) triple1) -> rule2) OR ((((((((triple1) -> rule6) triple2) -> rule7)) -> rule4) triple1) -> rule2))] @5: Bob is white.[(((((((((((triple1) -> rule6) triple2) -> rule7)) -> rule1) triple1) -> rule2) triple2) -> rule3) OR ((((((((((triple1) -> rule6) triple2) -> rule7)) -> rule4) triple1) -> rule2) triple2) -> rule3))]