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