Bob is furry. Bob is green. Charlie is furry. Charlie is kind. Charlie is young. Erin is green. Erin is kind. Fiona is blue. Fiona is furry. Fiona is smart. All young people are kind. Furry, cold people are young. Furry, blue people are smart. If someone is kind and furry then they are blue. If Bob is smart then Bob is furry. All furry, blue people are kind. If someone is furry then they are cold. If someone is young and furry then they are green.
Erin is not cold.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((((triple1 ((triple1) -> rule7)) -> rule2) triple1) -> rule8))] Charlie is furry.[(triple3)] Charlie is kind.[(triple4 OR ((triple5) -> rule1) OR ((((triple3 ((triple3) -> rule7)) -> rule2)) -> rule1))] Charlie is young.[(triple5 OR ((triple3 ((triple3) -> rule7)) -> rule2))] Erin is green.[(triple6)] Erin is kind.[(triple7)] Fiona is blue.[(triple8 OR ((((((triple9 ((triple9) -> rule7)) -> rule2)) -> rule1) triple9) -> rule4))] Fiona is furry.[(triple9)] Fiona is smart.[(triple10 OR ((triple9 triple8) -> rule3) OR ((triple9 ((((((triple9 ((triple9) -> rule7)) -> rule2)) -> rule1) triple9) -> rule4)) -> rule3))] @1: Bob is cold.[(((triple1) -> rule7))] Charlie is blue.[(((triple4 triple3) -> rule4) OR ((((triple5) -> rule1) triple3) -> rule4) OR ((((((triple3 ((triple3) -> rule7)) -> rule2)) -> rule1) triple3) -> rule4))] Charlie is cold.[(((triple3) -> rule7))] Charlie is green.[(((triple5 triple3) -> rule8) OR ((((triple3 ((triple3) -> rule7)) -> rule2) triple3) -> rule8))] Fiona is cold.[(((triple9) -> rule7))] Fiona is kind.[(((triple9 triple8) -> rule6) OR ((((triple9 ((triple9) -> rule7)) -> rule2)) -> rule1))] @2: Bob is young.[(((triple1 ((triple1) -> rule7)) -> rule2))] Charlie is smart.[(((triple3 ((triple4 triple3) -> rule4)) -> rule3) OR ((triple3 ((((triple5) -> rule1) triple3) -> rule4)) -> rule3) OR ((triple3 ((((((triple3 ((triple3) -> rule7)) -> rule2)) -> rule1) triple3) -> rule4)) -> rule3))] Fiona is young.[(((triple9 ((triple9) -> rule7)) -> rule2))] @3: Bob is kind.[(((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule1))] Fiona is green.[(((((triple9 ((triple9) -> rule7)) -> rule2) triple9) -> rule8))] @4: Bob is blue.[(((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule1) triple1) -> rule4))] @5: Bob is smart.[(((triple1 ((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule1) triple1) -> rule4)) -> rule3))]