Charlie is blue. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. Dave is kind. Dave is red. Dave is smart. Erin is blue. Erin is red. Erin is smart. Fiona is red. Fiona is smart. Fiona is young. If someone is smart and furry then they are kind. If someone is kind then they are smart. Young, smart people are furry. If someone is young then they are smart. If someone is red and furry then they are young. If someone is blue then they are red.
Dave is quiet.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple7 triple6) -> rule3) OR ((triple7 ((triple3) -> rule2)) -> rule3) OR ((triple7 ((triple7) -> rule4)) -> rule3))] Charlie is kind.[(triple3 OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple7 triple6) -> rule3)) -> rule1) OR ((((triple7) -> rule4) triple2) -> rule1) OR ((((triple7) -> rule4) ((triple7 triple6) -> rule3)) -> rule1) OR ((triple6 ((triple7 ((triple7) -> rule4)) -> rule3)) -> rule1) OR ((((((triple5 triple2) -> rule5)) -> rule4) triple2) -> rule1) OR ((((triple7) -> rule4) ((triple7 ((triple7) -> rule4)) -> rule3)) -> rule1) OR ((((((triple5 triple2) -> rule5)) -> rule4) ((triple7 triple6) -> rule3)) -> rule1) OR ((((((triple5 triple2) -> rule5)) -> rule4) ((triple7 ((triple7) -> rule4)) -> rule3)) -> rule1) OR ((((((((triple1) -> rule6) triple2) -> rule5)) -> rule4) triple2) -> rule1) OR ((((((((triple1) -> rule6) triple2) -> rule5)) -> rule4) ((triple7 triple6) -> rule3)) -> rule1) OR ((((((((triple1) -> rule6) triple2) -> rule5)) -> rule4) ((triple7 ((triple7) -> rule4)) -> rule3)) -> rule1))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple1) -> rule6))] Charlie is smart.[(triple6 OR ((triple3) -> rule2) OR ((triple7) -> rule4) OR ((((triple5 triple2) -> rule5)) -> rule4) OR ((((((triple1) -> rule6) triple2) -> rule5)) -> rule4))] Charlie is young.[(triple7 OR ((triple5 triple2) -> rule5) OR ((((triple1) -> rule6) triple2) -> rule5))] Dave is kind.[(triple8)] Dave is red.[(triple9)] Dave is smart.[(triple10 OR ((triple8) -> rule2))] Erin is blue.[(triple11)] Erin is red.[(triple12 OR ((triple11) -> rule6))] Erin is smart.[(triple13)] Fiona is red.[(triple14)] Fiona is smart.[(triple15 OR ((triple16) -> rule4))] Fiona is young.[(triple16)] @1: Fiona is furry.[(((triple16 triple15) -> rule3) OR ((triple16 ((triple16) -> rule4)) -> rule3))] @2: Fiona is kind.[(((triple15 ((triple16 triple15) -> rule3)) -> rule1) OR ((((triple16) -> rule4) ((triple16 triple15) -> rule3)) -> rule1) OR ((triple15 ((triple16 ((triple16) -> rule4)) -> rule3)) -> rule1) OR ((((triple16) -> rule4) ((triple16 ((triple16) -> rule4)) -> rule3)) -> rule1))]