Bob is big. Bob is furry. Bob is kind. Bob is young. Erin is furry. Erin is kind. Erin is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is young. Harry is young. Cold things are green. If something is kind and white then it is young. If Bob is white and Bob is green then Bob is big. Green things are young. If Fiona is young and Fiona is white then Fiona is kind. All green, young things are big. Big things are cold. If Erin is cold then Erin is furry.
Erin is not green.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is young.[(triple4 OR ((((((triple1) -> rule7)) -> rule1)) -> rule4))] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is young.[(triple7)] Fiona is big.[(triple8 OR ((triple10 triple11) -> rule6) OR ((triple10 ((triple10) -> rule4)) -> rule6))] Fiona is furry.[(triple9)] Fiona is green.[(triple10 OR ((((triple8) -> rule7)) -> rule1))] Fiona is young.[(triple11 OR ((triple10) -> rule4) OR ((((((triple8) -> rule7)) -> rule1)) -> rule4))] Harry is young.[(triple12)] @1: Bob is cold.[(((triple1) -> rule7))] Fiona is cold.[(((triple8) -> rule7) OR ((((triple10 triple11) -> rule6)) -> rule7) OR ((((triple10 ((triple10) -> rule4)) -> rule6)) -> rule7))] @2: Bob is green.[(((((triple1) -> rule7)) -> rule1))]