Bob is big. Bob is cold. Bob is furry. Bob is smart. Fiona is cold. Fiona is not green. Fiona is white. Gary is smart. Harry is big. Harry is cold. Harry is smart. All green people are furry. If Gary is furry and Gary is not smart then Gary is white. Smart people are green. If Bob is not green and Bob is not white then Bob is furry. Big people are cold. If someone is smart and furry then they are big. If someone is white and not cold then they are not blue. All cold people are not blue.
Fiona is not cold.
@0: Bob is big.[(triple1 OR ((triple4 triple3) -> rule6) OR ((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule6))] Bob is cold.[(triple2 OR ((triple1) -> rule5) OR ((((triple4 triple3) -> rule6)) -> rule5) OR ((((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule6)) -> rule5))] Bob is furry.[(triple3 OR ((((triple4) -> rule3)) -> rule1))] Bob is smart.[(triple4)] Fiona is cold.[(triple5)] Fiona is not green.[(triple6)] Fiona is white.[(triple7)] Gary is smart.[(triple8)] Harry is big.[(triple9 OR ((triple11 ((((triple11) -> rule3)) -> rule1)) -> rule6))] Harry is cold.[(triple10 OR ((triple9) -> rule5) OR ((((triple11 ((((triple11) -> rule3)) -> rule1)) -> rule6)) -> rule5))] Harry is smart.[(triple11)] @1: Bob is green.[(((triple4) -> rule3))] Bob is not blue.[(((triple2) -> rule8) OR ((((triple1) -> rule5)) -> rule8) OR ((((((triple4 triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule6)) -> rule5)) -> rule8))] Fiona is not blue.[(((triple5) -> rule8))] Gary is green.[(((triple8) -> rule3))] Harry is green.[(((triple11) -> rule3))] Harry is not blue.[(((triple10) -> rule8) OR ((((triple9) -> rule5)) -> rule8) OR ((((((triple11 ((((triple11) -> rule3)) -> rule1)) -> rule6)) -> rule5)) -> rule8))] @2: Gary is furry.[(((((triple8) -> rule3)) -> rule1))] Harry is furry.[(((((triple11) -> rule3)) -> rule1))] @3: Gary is big.[(((triple8 ((((triple8) -> rule3)) -> rule1)) -> rule6))] @4: Gary is cold.[(((((triple8 ((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule5))] @5: Gary is not blue.[(((((((triple8 ((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule5)) -> rule8))]