Anne is furry. Anne is quiet. Charlie is furry. Charlie is green. Dave is furry. Dave is young. Fiona is furry. If something is green and furry then it is quiet. Young things are quiet. If something is quiet then it is green. Smart, nice things are green. All nice things are furry. All nice things are not smart. Furry things are young. All furry things are cold. All green, quiet things are nice.
Dave is not green.
@0: Anne is furry.[(triple1 OR ((((((triple2) -> rule3) triple2) -> rule9)) -> rule5))] Anne is quiet.[(triple2 OR ((((triple1) -> rule7)) -> rule2))] Charlie is furry.[(triple3)] Charlie is green.[(triple4 OR ((((((triple3) -> rule7)) -> rule2)) -> rule3))] Dave is furry.[(triple5 OR ((((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule9)) -> rule5))] Dave is young.[(triple6 OR ((triple5) -> rule7))] Fiona is furry.[(triple7)] @1: Anne is cold.[(((triple1) -> rule8) OR ((((((((triple2) -> rule3) triple2) -> rule9)) -> rule5)) -> rule8))] Anne is green.[(((triple2) -> rule3) OR ((((((triple1) -> rule7)) -> rule2)) -> rule3))] Anne is young.[(((triple1) -> rule7) OR ((((((((triple2) -> rule3) triple2) -> rule9)) -> rule5)) -> rule7))] Charlie is cold.[(((triple3) -> rule8))] Charlie is quiet.[(((triple4 triple3) -> rule1) OR ((((triple3) -> rule7)) -> rule2))] Charlie is young.[(((triple3) -> rule7))] Dave is cold.[(((triple5) -> rule8) OR ((((((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule9)) -> rule5)) -> rule8))] Dave is quiet.[(((triple6) -> rule2) OR ((((triple5) -> rule7)) -> rule2))] Fiona is cold.[(((triple7) -> rule8))] Fiona is young.[(((triple7) -> rule7))] @2: Anne is nice.[(((((triple2) -> rule3) triple2) -> rule9) OR ((((triple2) -> rule3) ((((triple1) -> rule7)) -> rule2)) -> rule9) OR ((((((((triple1) -> rule7)) -> rule2)) -> rule3) triple2) -> rule9) OR ((((((((triple1) -> rule7)) -> rule2)) -> rule3) ((((triple1) -> rule7)) -> rule2)) -> rule9))] Charlie is nice.[(((triple4 ((triple4 triple3) -> rule1)) -> rule9) OR ((triple4 ((((triple3) -> rule7)) -> rule2)) -> rule9) OR ((((((((triple3) -> rule7)) -> rule2)) -> rule3) ((triple4 triple3) -> rule1)) -> rule9) OR ((((((((triple3) -> rule7)) -> rule2)) -> rule3) ((((triple3) -> rule7)) -> rule2)) -> rule9))] Dave is green.[(((((triple6) -> rule2)) -> rule3) OR ((((((triple5) -> rule7)) -> rule2)) -> rule3))] Fiona is quiet.[(((((triple7) -> rule7)) -> rule2))] @3: Anne is not smart.[(((((((triple2) -> rule3) triple2) -> rule9)) -> rule6) OR ((((((triple2) -> rule3) ((((triple1) -> rule7)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((triple1) -> rule7)) -> rule2)) -> rule3) triple2) -> rule9)) -> rule6) OR ((((((((((triple1) -> rule7)) -> rule2)) -> rule3) ((((triple1) -> rule7)) -> rule2)) -> rule9)) -> rule6))] Charlie is not smart.[(((((triple4 ((triple4 triple3) -> rule1)) -> rule9)) -> rule6) OR ((((triple4 ((((triple3) -> rule7)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((triple3) -> rule7)) -> rule2)) -> rule3) ((triple4 triple3) -> rule1)) -> rule9)) -> rule6) OR ((((((((((triple3) -> rule7)) -> rule2)) -> rule3) ((((triple3) -> rule7)) -> rule2)) -> rule9)) -> rule6))] Dave is nice.[(((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule9) OR ((((((triple6) -> rule2)) -> rule3) ((((triple5) -> rule7)) -> rule2)) -> rule9) OR ((((((((triple5) -> rule7)) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule9) OR ((((((((triple5) -> rule7)) -> rule2)) -> rule3) ((((triple5) -> rule7)) -> rule2)) -> rule9))] Fiona is green.[(((((((triple7) -> rule7)) -> rule2)) -> rule3))] @4: Dave is not smart.[(((((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule9)) -> rule6) OR ((((((((triple6) -> rule2)) -> rule3) ((((triple5) -> rule7)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((triple5) -> rule7)) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule9)) -> rule6) OR ((((((((((triple5) -> rule7)) -> rule2)) -> rule3) ((((triple5) -> rule7)) -> rule2)) -> rule9)) -> rule6))] Fiona is nice.[(((((((((triple7) -> rule7)) -> rule2)) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule9))] @5: Fiona is not smart.[(((((((((((triple7) -> rule7)) -> rule2)) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule9)) -> rule6))]