Bob is nice. Bob is rough. Charlie is green. Charlie is round. Dave is red. Dave is round. Gary is kind. Gary is nice. Gary is red. Gary is rough. If Gary is smart and Gary is nice then Gary is round. If Gary is not green then Gary is round. All rough people are kind. Smart, round people are not nice. If someone is round then they are rough. If someone is kind and not green then they are round. Kind, rough people are not smart. If Bob is kind and Bob is not smart then Bob is nice.
Charlie is smart.
@0: Bob is nice.[(triple1 OR ((((triple2) -> rule3) ((((triple2) -> rule3) triple2) -> rule7)) -> rule8))] Bob is rough.[(triple2)] Charlie is green.[(triple3)] Charlie is round.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6)] Gary is kind.[(triple7 OR ((triple10) -> rule3))] Gary is nice.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] @1: Bob is kind.[(((triple2) -> rule3))] Charlie is rough.[(((triple4) -> rule5))] Dave is rough.[(((triple6) -> rule5))] Gary is not smart.[(((triple7 triple10) -> rule7) OR ((((triple10) -> rule3) triple10) -> rule7))] @2: Bob is not smart.[(((((triple2) -> rule3) triple2) -> rule7))] Charlie is kind.[(((((triple4) -> rule5)) -> rule3))] Dave is kind.[(((((triple6) -> rule5)) -> rule3))] @3: Charlie is not smart.[(((((((triple4) -> rule5)) -> rule3) ((triple4) -> rule5)) -> rule7))] Dave is not smart.[(((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7))]