Anne is smart. Bob is big. Bob is blue. Bob is rough. Bob is smart. Charlie is smart. Dave is quiet. Blue, round people are rough. If someone is smart and quiet then they are young. Smart people are quiet. If someone is round then they are blue. If Dave is big then Dave is quiet. If someone is blue then they are young. All rough, young people are round. Smart people are rough. Blue, round people are big.
Dave is smart.
@0: Anne is smart.[(triple1)] Bob is big.[(triple2 OR ((triple3 ((triple4 ((triple3) -> rule6)) -> rule7)) -> rule9) OR ((triple3 ((((triple5) -> rule8) ((triple3) -> rule6)) -> rule7)) -> rule9) OR ((triple3 ((triple4 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule9) OR ((triple3 ((((triple5) -> rule8) ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule9) OR ((((((triple4 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule4) ((triple4 ((triple3) -> rule6)) -> rule7)) -> rule9) OR ((((((triple4 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule4) ((triple4 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule9) OR ((((((triple4 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule4) ((((triple5) -> rule8) ((triple3) -> rule6)) -> rule7)) -> rule9) OR ((((((((triple5) -> rule8) ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule4) ((triple4 ((triple3) -> rule6)) -> rule7)) -> rule9) OR ((((((triple4 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule4) ((((triple5) -> rule8) ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule9) OR ((((((((triple5) -> rule8) ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule4) ((triple4 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule9) OR ((((((((triple5) -> rule8) ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule4) ((((triple5) -> rule8) ((triple3) -> rule6)) -> rule7)) -> rule9) OR ((((((((triple5) -> rule8) ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule4) ((((triple5) -> rule8) ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule9))] Bob is blue.[(triple3 OR ((((triple4 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((((((triple5) -> rule8) ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7)) -> rule4))] Bob is rough.[(triple4 OR ((triple5) -> rule8))] Bob is smart.[(triple5)] Charlie is smart.[(triple6)] Dave is quiet.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule3))] Anne is rough.[(((triple1) -> rule8))] Bob is quiet.[(((triple5) -> rule3))] Bob is young.[(((triple3) -> rule6) OR ((triple5 ((triple5) -> rule3)) -> rule2))] Charlie is quiet.[(((triple6) -> rule3))] Charlie is rough.[(((triple6) -> rule8))] @2: Anne is young.[(((triple1 ((triple1) -> rule3)) -> rule2))] Bob is round.[(((triple4 ((triple3) -> rule6)) -> rule7) OR ((((triple5) -> rule8) ((triple3) -> rule6)) -> rule7) OR ((triple4 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7) OR ((((triple5) -> rule8) ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule7))] Charlie is young.[(((triple6 ((triple6) -> rule3)) -> rule2))] @3: Anne is round.[(((((triple1) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule2)) -> rule7))] Charlie is round.[(((((triple6) -> rule8) ((triple6 ((triple6) -> rule3)) -> rule2)) -> rule7))] @4: Anne is blue.[(((((((triple1) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule2)) -> rule7)) -> rule4))] Charlie is blue.[(((((((triple6) -> rule8) ((triple6 ((triple6) -> rule3)) -> rule2)) -> rule7)) -> rule4))] @5: Anne is big.[(((((((((triple1) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule2)) -> rule7)) -> rule4) ((((triple1) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule2)) -> rule7)) -> rule9))] Charlie is big.[(((((((((triple6) -> rule8) ((triple6 ((triple6) -> rule3)) -> rule2)) -> rule7)) -> rule4) ((((triple6) -> rule8) ((triple6 ((triple6) -> rule3)) -> rule2)) -> rule7)) -> rule9))]