Dave is big. Dave is blue. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is white. If Dave is white and Dave is quiet then Dave is big. Quiet people are big. If someone is round then they are quiet. If someone is round and blue then they are quiet. Rough people are blue. All round people are rough. All big, white people are red. All white, round people are big.
Dave is rough.
@0: Dave is big.[(triple1 OR ((triple3) -> rule2) OR ((triple7 triple3) -> rule1) OR ((triple7 triple6) -> rule8) OR ((((triple6) -> rule3)) -> rule2) OR ((((triple6 triple2) -> rule4)) -> rule2) OR ((triple7 ((triple6) -> rule3)) -> rule1) OR ((triple7 ((triple6 triple2) -> rule4)) -> rule1) OR ((((triple6 ((triple5) -> rule5)) -> rule4)) -> rule2) OR ((triple7 ((triple6 ((triple5) -> rule5)) -> rule4)) -> rule1) OR ((((triple6 ((((triple6) -> rule6)) -> rule5)) -> rule4)) -> rule2) OR ((triple7 ((triple6 ((((triple6) -> rule6)) -> rule5)) -> rule4)) -> rule1))] Dave is blue.[(triple2 OR ((triple5) -> rule5) OR ((((triple6) -> rule6)) -> rule5))] Dave is quiet.[(triple3 OR ((triple6) -> rule3) OR ((triple6 triple2) -> rule4) OR ((triple6 ((triple5) -> rule5)) -> rule4) OR ((triple6 ((((triple6) -> rule6)) -> rule5)) -> rule4))] Dave is red.[(triple4 OR ((triple1 triple7) -> rule7) OR ((((triple3) -> rule2) triple7) -> rule7) OR ((((triple7 triple3) -> rule1) triple7) -> rule7) OR ((((triple7 triple6) -> rule8) triple7) -> rule7) OR ((((((triple6) -> rule3)) -> rule2) triple7) -> rule7) OR ((((((triple6 triple2) -> rule4)) -> rule2) triple7) -> rule7) OR ((((triple7 ((triple6) -> rule3)) -> rule1) triple7) -> rule7) OR ((((triple7 ((triple6 triple2) -> rule4)) -> rule1) triple7) -> rule7) OR ((((((triple6 ((triple5) -> rule5)) -> rule4)) -> rule2) triple7) -> rule7) OR ((((triple7 ((triple6 ((triple5) -> rule5)) -> rule4)) -> rule1) triple7) -> rule7) OR ((((((triple6 ((((triple6) -> rule6)) -> rule5)) -> rule4)) -> rule2) triple7) -> rule7) OR ((((triple7 ((triple6 ((((triple6) -> rule6)) -> rule5)) -> rule4)) -> rule1) triple7) -> rule7))] Dave is rough.[(triple5 OR ((triple6) -> rule6))] Dave is round.[(triple6)] Dave is white.[(triple7)]