Anne is green. Anne is not rough. Anne is not young. Dave is nice. Fiona is not nice. Fiona is red. Harry is big. Harry is nice. Harry is red. Harry is rough. All nice people are green. Rough people are nice. If someone is green then they are red. Nice people are quiet. All quiet people are big. If someone is big and not green then they are young. Green, quiet people are young. If Anne is rough and Anne is not nice then Anne is not red.
Dave is rough.
@0: Anne is green.[(triple1)] Anne is not rough.[(triple2)] Anne is not young.[(triple3)] Dave is nice.[(triple4)] Fiona is not nice.[(triple5)] Fiona is red.[(triple6)] Harry is big.[(triple7 OR ((((triple8) -> rule4)) -> rule5) OR ((((((triple10) -> rule2)) -> rule4)) -> rule5))] Harry is nice.[(triple8 OR ((triple10) -> rule2))] Harry is red.[(triple9 OR ((((triple8) -> rule1)) -> rule3) OR ((((((triple10) -> rule2)) -> rule1)) -> rule3))] Harry is rough.[(triple10)] @1: Anne is red.[(((triple1) -> rule3))] Dave is green.[(((triple4) -> rule1))] Dave is quiet.[(((triple4) -> rule4))] Harry is green.[(((triple8) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Harry is quiet.[(((triple8) -> rule4) OR ((((triple10) -> rule2)) -> rule4))] @2: Dave is big.[(((((triple4) -> rule4)) -> rule5))] Dave is red.[(((((triple4) -> rule1)) -> rule3))] Dave is young.[(((((triple4) -> rule1) ((triple4) -> rule4)) -> rule7))] Harry is young.[(((((triple8) -> rule1) ((triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule1) ((((triple10) -> rule2)) -> rule4)) -> rule7) OR ((((((triple10) -> rule2)) -> rule1) ((triple8) -> rule4)) -> rule7) OR ((((((triple10) -> rule2)) -> rule1) ((((triple10) -> rule2)) -> rule4)) -> rule7))]