Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is smart. Dave is cold. Dave is kind. Gary is kind. Gary is rough. Gary is white. Harry is red. Harry is not white. If Dave is rough then Dave is cold. If someone is white and round then they are cold. All smart, white people are cold. If someone is red and kind then they are smart. If someone is rough and not white then they are not smart. All kind people are smart. If someone is smart and not round then they are kind. Round, kind people are red.
Gary is smart.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2 OR ((triple4 triple1) -> rule8))] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5 OR ((triple1) -> rule6) OR ((triple2 triple1) -> rule4) OR ((((triple4 triple1) -> rule8) triple1) -> rule4))] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Gary is kind.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)] Harry is not white.[(triple12)] Harry is red.[(triple11)] @1: Dave is smart.[(((triple7) -> rule6))] Gary is smart.[(((triple8) -> rule6))] @2: Gary is cold.[(((((triple8) -> rule6) triple10) -> rule3))]