Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is young. Erin is big. Erin is kind. Erin is nice. Erin is young. Gary is cold. Gary is kind. Gary is quiet. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Quiet, cold people are big. All kind, nice people are young. If Harry is nice then Harry is cold. Big, kind people are nice. Big people are nice. All kind people are cold. Nice, quiet people are furry. If Bob is nice and Bob is furry then Bob is big.
Harry is quiet.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple4) -> rule6))] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is young.[(triple5 OR ((triple4 ((triple1) -> rule5)) -> rule2) OR ((triple4 ((triple1 triple4) -> rule4)) -> rule2))] Erin is big.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8 OR ((triple6) -> rule5) OR ((triple6 triple7) -> rule4))] Erin is young.[(triple9 OR ((triple7 triple8) -> rule2) OR ((triple7 ((triple6) -> rule5)) -> rule2) OR ((triple7 ((triple6 triple7) -> rule4)) -> rule2))] Gary is cold.[(triple10 OR ((triple11) -> rule6))] Gary is kind.[(triple11)] Gary is quiet.[(triple12)] Harry is cold.[(triple13 OR ((triple15) -> rule6) OR ((triple16) -> rule3))] Harry is furry.[(triple14)] Harry is kind.[(triple15)] Harry is nice.[(triple16)] @1: Bob is nice.[(((triple1) -> rule5) OR ((triple1 triple4) -> rule4))] Erin is cold.[(((triple7) -> rule6))] Gary is big.[(((triple12 triple10) -> rule1) OR ((triple12 ((triple11) -> rule6)) -> rule1))] Harry is young.[(((triple15 triple16) -> rule2))] @2: Gary is nice.[(((((triple12 triple10) -> rule1)) -> rule5) OR ((((triple12 triple10) -> rule1) triple11) -> rule4) OR ((((triple12 ((triple11) -> rule6)) -> rule1)) -> rule5) OR ((((triple12 ((triple11) -> rule6)) -> rule1) triple11) -> rule4))] @3: Gary is furry.[(((((((triple12 triple10) -> rule1)) -> rule5) triple12) -> rule7) OR ((((((triple12 triple10) -> rule1) triple11) -> rule4) triple12) -> rule7) OR ((((((triple12 ((triple11) -> rule6)) -> rule1)) -> rule5) triple12) -> rule7) OR ((((((triple12 ((triple11) -> rule6)) -> rule1) triple11) -> rule4) triple12) -> rule7))] Gary is young.[(((triple11 ((((triple12 triple10) -> rule1)) -> rule5)) -> rule2) OR ((triple11 ((((triple12 triple10) -> rule1) triple11) -> rule4)) -> rule2) OR ((triple11 ((((triple12 ((triple11) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((triple11 ((((triple12 ((triple11) -> rule6)) -> rule1) triple11) -> rule4)) -> rule2))]