Anne is blue. Anne is young. Dave is cold. Dave is furry. Erin is kind. Erin is red. Fiona is blue. Fiona is kind. Fiona is red. Fiona is young. If Dave is furry and Dave is cold then Dave is young. All nice, cold people are red. Red, young people are blue. If Anne is furry then Anne is young. If someone is young then they are kind. All kind, cold people are nice. If Anne is blue then Anne is young.
Dave is young.
@0: Anne is blue.[(triple1)] Anne is young.[(triple2 OR ((triple1) -> rule7))] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6)] Fiona is blue.[(triple7 OR ((triple9 triple10) -> rule3))] Fiona is kind.[(triple8 OR ((triple10) -> rule5))] Fiona is red.[(triple9)] Fiona is young.[(triple10)] @1: Anne is kind.[(((triple2) -> rule5) OR ((((triple1) -> rule7)) -> rule5))] Dave is young.[(((triple4 triple3) -> rule1))] @2: Dave is kind.[(((((triple4 triple3) -> rule1)) -> rule5))] @3: Dave is nice.[(((((((triple4 triple3) -> rule1)) -> rule5) triple3) -> rule6))] @4: Dave is red.[(((((((((triple4 triple3) -> rule1)) -> rule5) triple3) -> rule6) triple3) -> rule2))] @5: Dave is blue.[(((((((((((triple4 triple3) -> rule1)) -> rule5) triple3) -> rule6) triple3) -> rule2) ((triple4 triple3) -> rule1)) -> rule3))]