Charlie is big. Fiona is big. Fiona is furry. All green people are furry. If Charlie is red and Charlie is furry then Charlie is smart. If someone is big and quiet then they are red. All big people are green. If someone is red then they are quiet. Furry people are red.
Fiona is furry.
@0: Charlie is big.[(triple1)] Fiona is big.[(triple2)] Fiona is furry.[(triple3 OR ((((triple2) -> rule4)) -> rule1))] @1: Charlie is green.[(((triple1) -> rule4))] Fiona is green.[(((triple2) -> rule4))] Fiona is red.[(((triple3) -> rule6) OR ((((((triple2) -> rule4)) -> rule1)) -> rule6))] @2: Charlie is furry.[(((((triple1) -> rule4)) -> rule1))] Fiona is quiet.[(((((triple3) -> rule6)) -> rule5) OR ((((((((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5))] @3: Charlie is red.[(((((((triple1) -> rule4)) -> rule1)) -> rule6))] @4: Charlie is quiet.[(((((((((triple1) -> rule4)) -> rule1)) -> rule6)) -> rule5))] Charlie is smart.[(((((((((triple1) -> rule4)) -> rule1)) -> rule6) ((((triple1) -> rule4)) -> rule1)) -> rule2))]