Anne is red. Charlie is red. Dave is kind. Dave is red. Dave is smart. Fiona is furry. Fiona is red. If Fiona is smart then Fiona is red. If something is smart then it is quiet. Red things are furry. If something is furry then it is quiet. If something is young then it is kind. All kind things are red. If Anne is furry and Anne is young then Anne is nice. All red, quiet things are smart.
Charlie is kind.
@0: Anne is red.[(triple1)] Charlie is red.[(triple2)] Dave is kind.[(triple3)] Dave is red.[(triple4 OR ((triple3) -> rule6))] Dave is smart.[(triple5 OR ((triple4 ((((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((triple3) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule8) OR ((triple4 ((((((triple3) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((triple3) -> rule6) ((((((triple3) -> rule6)) -> rule3)) -> rule4)) -> rule8))] Fiona is furry.[(triple6 OR ((triple7) -> rule3))] Fiona is red.[(triple7)] @1: Anne is furry.[(((triple1) -> rule3))] Charlie is furry.[(((triple2) -> rule3))] Dave is furry.[(((triple4) -> rule3) OR ((((triple3) -> rule6)) -> rule3))] Dave is quiet.[(((triple5) -> rule2) OR ((((triple4) -> rule3)) -> rule4) OR ((((((triple3) -> rule6)) -> rule3)) -> rule4))] Fiona is quiet.[(((triple6) -> rule4) OR ((((triple7) -> rule3)) -> rule4))] @2: Anne is quiet.[(((((triple1) -> rule3)) -> rule4))] Charlie is quiet.[(((((triple2) -> rule3)) -> rule4))] Fiona is smart.[(((triple7 ((triple6) -> rule4)) -> rule8) OR ((triple7 ((((triple7) -> rule3)) -> rule4)) -> rule8))] @3: Anne is smart.[(((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule8))] Charlie is smart.[(((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule8))]