Bob is kind. Bob is quiet. Bob is rough. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. Harry is cold. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is white. Harry is young. All red, rough people are cold. If Charlie is quiet then Charlie is kind. All quiet people are white. If someone is cold then they are young. If someone is red then they are kind. All kind people are young.
Bob is red.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Charlie is cold.[(triple4 OR ((triple7 triple8) -> rule1))] Charlie is kind.[(triple5 OR ((triple6) -> rule2) OR ((triple7) -> rule5))] Charlie is quiet.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is young.[(triple9 OR ((triple4) -> rule4) OR ((triple5) -> rule6) OR ((((triple6) -> rule2)) -> rule6) OR ((((triple7) -> rule5)) -> rule6) OR ((((triple7 triple8) -> rule1)) -> rule4))] Harry is cold.[(triple10 OR ((triple13 triple14) -> rule1))] Harry is kind.[(triple11 OR ((triple13) -> rule5))] Harry is quiet.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15 OR ((triple12) -> rule3))] Harry is young.[(triple16 OR ((triple10) -> rule4) OR ((triple11) -> rule6) OR ((((triple13) -> rule5)) -> rule6) OR ((((triple13 triple14) -> rule1)) -> rule4))] @1: Bob is white.[(((triple2) -> rule3))] Bob is young.[(((triple1) -> rule6))] Charlie is white.[(((triple6) -> rule3))]