Bob is big. Bob is blue. Bob is quiet. Bob is rough. Bob is round. Bob is smart. Bob is young. Dave is big. Dave is round. Dave is smart. Dave is young. Erin is big. Erin is quiet. Erin is round. Erin is smart. Erin is young. All quiet things are rough. Round, quiet things are blue. If Erin is young then Erin is round. If something is round then it is rough. If something is round then it is big. If something is smart then it is blue. All rough things are big. If something is young and smart then it is rough.
Bob is quiet.
@0: Bob is big.[(triple1 OR ((triple4) -> rule7) OR ((triple5) -> rule5) OR ((((triple3) -> rule1)) -> rule7) OR ((((triple5) -> rule4)) -> rule7) OR ((((triple7 triple6) -> rule8)) -> rule7))] Bob is blue.[(triple2 OR ((triple6) -> rule6) OR ((triple5 triple3) -> rule2))] Bob is quiet.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule1) OR ((triple5) -> rule4) OR ((triple7 triple6) -> rule8))] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Dave is big.[(triple8 OR ((triple9) -> rule5) OR ((((triple9) -> rule4)) -> rule7) OR ((((triple11 triple10) -> rule8)) -> rule7))] Dave is round.[(triple9)] Dave is smart.[(triple10)] Dave is young.[(triple11)] Erin is big.[(triple12 OR ((triple14) -> rule5) OR ((((triple13) -> rule1)) -> rule7) OR ((((triple14) -> rule4)) -> rule7) OR ((((triple16) -> rule3)) -> rule5) OR ((((triple16 triple15) -> rule8)) -> rule7) OR ((((((triple16) -> rule3)) -> rule4)) -> rule7))] Erin is quiet.[(triple13)] Erin is round.[(triple14 OR ((triple16) -> rule3))] Erin is smart.[(triple15)] Erin is young.[(triple16)] @1: Dave is blue.[(((triple10) -> rule6))] Dave is rough.[(((triple9) -> rule4) OR ((triple11 triple10) -> rule8))] Erin is blue.[(((triple15) -> rule6) OR ((triple14 triple13) -> rule2) OR ((((triple16) -> rule3) triple13) -> rule2))] Erin is rough.[(((triple13) -> rule1) OR ((triple14) -> rule4) OR ((triple16 triple15) -> rule8) OR ((((triple16) -> rule3)) -> rule4))]