Anne is blue. Anne is nice. Anne is rough. Anne is white. Bob is big. Bob is blue. Dave is blue. Dave is white. Gary is big. Gary is nice. Big people are red. If Dave is nice then Dave is blue. If Anne is smart and Anne is red then Anne is rough. If someone is nice and blue then they are rough. All big, rough people are blue. If someone is blue and big then they are red. All white, smart people are big. If someone is rough then they are smart.
Bob is not nice.
@0: Anne is blue.[(triple1 OR ((((triple4 ((triple3) -> rule8)) -> rule7) triple3) -> rule5))] Anne is nice.[(triple2)] Anne is rough.[(triple3 OR ((triple2 triple1) -> rule4))] Anne is white.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Dave is blue.[(triple7)] Dave is white.[(triple8)] Gary is big.[(triple9)] Gary is nice.[(triple10)] @1: Anne is smart.[(((triple3) -> rule8) OR ((((triple2 triple1) -> rule4)) -> rule8))] Bob is red.[(((triple5) -> rule1) OR ((triple6 triple5) -> rule6))] Gary is red.[(((triple9) -> rule1))] @2: Anne is big.[(((triple4 ((triple3) -> rule8)) -> rule7) OR ((triple4 ((((triple2 triple1) -> rule4)) -> rule8)) -> rule7))] @3: Anne is red.[(((((triple4 ((triple3) -> rule8)) -> rule7)) -> rule1) OR ((triple1 ((triple4 ((triple3) -> rule8)) -> rule7)) -> rule6) OR ((((triple4 ((((triple2 triple1) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((triple1 ((triple4 ((((triple2 triple1) -> rule4)) -> rule8)) -> rule7)) -> rule6) OR ((((((triple4 ((triple3) -> rule8)) -> rule7) triple3) -> rule5) ((triple4 ((triple3) -> rule8)) -> rule7)) -> rule6) OR ((((((triple4 ((triple3) -> rule8)) -> rule7) triple3) -> rule5) ((triple4 ((((triple2 triple1) -> rule4)) -> rule8)) -> rule7)) -> rule6))]