Charlie is blue. Charlie is furry. Dave is big. Dave is smart. Erin is big. Fiona is blue. Fiona is round. All smart people are furry. If someone is nice and red then they are furry. Furry, smart people are nice. Nice, furry people are big. Round people are red. All red people are smart.
Fiona is nice.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Dave is big.[(triple3 OR ((((((triple4) -> rule1) triple4) -> rule3) ((triple4) -> rule1)) -> rule4))] Dave is smart.[(triple4)] Erin is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is round.[(triple7)] @1: Dave is furry.[(((triple4) -> rule1))] Fiona is red.[(((triple7) -> rule5))] @2: Dave is nice.[(((((triple4) -> rule1) triple4) -> rule3))] Fiona is smart.[(((((triple7) -> rule5)) -> rule6))] @3: Fiona is furry.[(((((((triple7) -> rule5)) -> rule6)) -> rule1))] @4: Fiona is nice.[(((((((((triple7) -> rule5)) -> rule6)) -> rule1) ((((triple7) -> rule5)) -> rule6)) -> rule3))] @5: Fiona is big.[(((((((((((triple7) -> rule5)) -> rule6)) -> rule1) ((((triple7) -> rule5)) -> rule6)) -> rule3) ((((((triple7) -> rule5)) -> rule6)) -> rule1)) -> rule4))]