Dave is green. Dave is rough. Dave is smart. Dave is young. Fiona is big. Fiona is blue. Fiona is green. Fiona is rough. Fiona is smart. Fiona is young. Smart, round people are blue. If someone is blue then they are round. All green, rough people are big. If Dave is big then Dave is round. Blue, smart people are big. Big, blue people are rough. If someone is round then they are green. If someone is big and young then they are green.
Dave is not blue.
@0: Dave is green.[(triple1)] Dave is rough.[(triple2)] Dave is smart.[(triple3)] Dave is young.[(triple4)] Fiona is big.[(triple5 OR ((triple6 triple9) -> rule5) OR ((triple7 triple8) -> rule3) OR ((((((triple6) -> rule2)) -> rule7) triple8) -> rule3))] Fiona is blue.[(triple6)] Fiona is green.[(triple7 OR ((triple5 triple10) -> rule8) OR ((((triple6) -> rule2)) -> rule7) OR ((((triple6 triple9) -> rule5) triple10) -> rule8))] Fiona is rough.[(triple8 OR ((triple5 triple6) -> rule6) OR ((((triple6 triple9) -> rule5) triple6) -> rule6))] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] @1: Dave is big.[(((triple1 triple2) -> rule3))] Fiona is round.[(((triple6) -> rule2))] @2: Dave is round.[(((((triple1 triple2) -> rule3)) -> rule4))] @3: Dave is blue.[(((triple3 ((((triple1 triple2) -> rule3)) -> rule4)) -> rule1))]