Dave is furry. Dave is green. Dave is nice. Dave is young. Erin is green. Fiona is furry. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. Furry people are rough. If someone is rough then they are young. All red people are smart. If someone is rough and red then they are nice. Young, green people are red. If Fiona is furry then Fiona is young.
Erin is furry.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3 OR ((((triple1) -> rule1) ((triple4 triple2) -> rule5)) -> rule4) OR ((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule2) triple2) -> rule5)) -> rule4))] Dave is young.[(triple4 OR ((((triple1) -> rule1)) -> rule2))] Erin is green.[(triple5)] Fiona is furry.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8 OR ((triple6) -> rule1))] Fiona is smart.[(triple9 OR ((triple7) -> rule3))] Fiona is young.[(triple10 OR ((triple6) -> rule6) OR ((triple8) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] @1: Dave is red.[(((triple4 triple2) -> rule5) OR ((((((triple1) -> rule1)) -> rule2) triple2) -> rule5))] Dave is rough.[(((triple1) -> rule1))] Fiona is nice.[(((triple8 triple7) -> rule4) OR ((((triple6) -> rule1) triple7) -> rule4))] @2: Dave is smart.[(((((triple4 triple2) -> rule5)) -> rule3) OR ((((((((triple1) -> rule1)) -> rule2) triple2) -> rule5)) -> rule3))]