Anne is green. Anne is nice. Anne is not rough. Anne is smart. Bob is green. Bob is nice. Fiona is white. Gary is rough. Gary is round. Gary is white. If something is nice then it is round. If something is white then it is round. If something is young and not nice then it is round. If Bob is round and Bob is green then Bob is rough. If something is young and green then it is smart. Smart things are white. If something is rough and not green then it is white. If something is rough then it is young. All rough things are young.
Bob is not smart.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is not rough.[(triple3)] Anne is smart.[(triple4)] Bob is green.[(triple5)] Bob is nice.[(triple6)] Fiona is white.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9 OR ((triple10) -> rule2))] Gary is white.[(triple10)] @1: Anne is round.[(((triple2) -> rule1) OR ((((triple4) -> rule6)) -> rule2))] Anne is white.[(((triple4) -> rule6))] Bob is round.[(((triple6) -> rule1))] Fiona is round.[(((triple7) -> rule2))] Gary is young.[(((triple8) -> rule8) OR ((triple8) -> rule9))] @2: Bob is rough.[(((((triple6) -> rule1) triple5) -> rule4))] @3: Bob is young.[(((((((triple6) -> rule1) triple5) -> rule4)) -> rule8) OR ((((((triple6) -> rule1) triple5) -> rule4)) -> rule9))] @4: Bob is smart.[(((((((((triple6) -> rule1) triple5) -> rule4)) -> rule8) triple5) -> rule5) OR ((((((((triple6) -> rule1) triple5) -> rule4)) -> rule9) triple5) -> rule5))] @5: Bob is white.[(((((((((((triple6) -> rule1) triple5) -> rule4)) -> rule8) triple5) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule1) triple5) -> rule4)) -> rule9) triple5) -> rule5)) -> rule6))]