Charlie is red. Erin is red. Fiona is quiet. Gary is big. If Gary is young and Gary is blue then Gary is big. Furry, red people are quiet. All blue, green people are not quiet. Green, blue people are furry. If someone is green then they are furry. All red people are green. If someone is blue and young then they are green. If Fiona is furry then Fiona is big.
Fiona is furry.
@0: Charlie is red.[(triple1)] Erin is red.[(triple2)] Fiona is quiet.[(triple3)] Gary is big.[(triple4)] @1: Charlie is green.[(((triple1) -> rule6))] Erin is green.[(((triple2) -> rule6))] @2: Charlie is furry.[(((((triple1) -> rule6)) -> rule5))] Erin is furry.[(((((triple2) -> rule6)) -> rule5))] @3: Charlie is quiet.[(((((((triple1) -> rule6)) -> rule5) triple1) -> rule2))] Erin is quiet.[(((((((triple2) -> rule6)) -> rule5) triple2) -> rule2))]