Dave is big. Dave is blue. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Rough, nice things are blue. If something is blue and rough then it is big. If something is white and nice then it is big. If something is quiet then it is white. All quiet, nice things are blue. If Dave is quiet and Dave is white then Dave is blue. All smart, rough things are nice. If something is nice then it is blue.
Dave is big.
@0: Dave is big.[(triple1 OR ((triple2 triple5) -> rule2) OR ((triple7 triple3) -> rule3) OR ((triple7 ((triple6 triple5) -> rule7)) -> rule3) OR ((((triple3) -> rule8) triple5) -> rule2) OR ((((triple4) -> rule4) triple3) -> rule3) OR ((((triple4 triple3) -> rule5) triple5) -> rule2) OR ((((triple4 triple7) -> rule6) triple5) -> rule2) OR ((((triple5 triple3) -> rule1) triple5) -> rule2) OR ((((triple4) -> rule4) ((triple6 triple5) -> rule7)) -> rule3) OR ((((((triple6 triple5) -> rule7)) -> rule8) triple5) -> rule2) OR ((((triple4 ((triple4) -> rule4)) -> rule6) triple5) -> rule2) OR ((((triple4 ((triple6 triple5) -> rule7)) -> rule5) triple5) -> rule2) OR ((((triple5 ((triple6 triple5) -> rule7)) -> rule1) triple5) -> rule2))] Dave is blue.[(triple2 OR ((triple3) -> rule8) OR ((triple4 triple3) -> rule5) OR ((triple4 triple7) -> rule6) OR ((triple5 triple3) -> rule1) OR ((((triple6 triple5) -> rule7)) -> rule8) OR ((triple4 ((triple4) -> rule4)) -> rule6) OR ((triple4 ((triple6 triple5) -> rule7)) -> rule5) OR ((triple5 ((triple6 triple5) -> rule7)) -> rule1))] Dave is nice.[(triple3 OR ((triple6 triple5) -> rule7))] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple4) -> rule4))]