Bob is kind. Charlie is green. Charlie is kind. Charlie is round. Gary is cold. Gary is green. Gary is rough. Gary is white. Harry is cold. Harry is furry. Harry is kind. Harry is white. If someone is rough and green then they are white. Furry, rough people are green. Rough people are furry. Kind people are round. If someone is round then they are rough. If Bob is white then Bob is cold. White people are furry.
Bob is white.
@0: Bob is kind.[(triple1)] Charlie is green.[(triple2 OR ((((((triple4) -> rule5)) -> rule3) ((triple4) -> rule5)) -> rule2) OR ((((((triple4) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule5)) -> rule3) ((triple4) -> rule5)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule5)) -> rule2))] Charlie is kind.[(triple3)] Charlie is round.[(triple4 OR ((triple3) -> rule4))] Gary is cold.[(triple5)] Gary is green.[(triple6 OR ((((triple7) -> rule3) triple7) -> rule2) OR ((((triple8) -> rule7) triple7) -> rule2))] Gary is rough.[(triple7)] Gary is white.[(triple8 OR ((triple7 triple6) -> rule1) OR ((triple7 ((((triple7) -> rule3) triple7) -> rule2)) -> rule1))] Harry is cold.[(triple9)] Harry is furry.[(triple10 OR ((triple12) -> rule7) OR ((((((triple11) -> rule4)) -> rule5)) -> rule3))] Harry is kind.[(triple11)] Harry is white.[(triple12 OR ((((((triple11) -> rule4)) -> rule5) ((triple10 ((((triple11) -> rule4)) -> rule5)) -> rule2)) -> rule1) OR ((((((triple11) -> rule4)) -> rule5) ((((((((triple11) -> rule4)) -> rule5)) -> rule3) ((((triple11) -> rule4)) -> rule5)) -> rule2)) -> rule1))] @1: Bob is round.[(((triple1) -> rule4))] Charlie is rough.[(((triple4) -> rule5) OR ((((triple3) -> rule4)) -> rule5))] Gary is furry.[(((triple7) -> rule3) OR ((triple8) -> rule7) OR ((((triple7 triple6) -> rule1)) -> rule7))] Harry is round.[(((triple11) -> rule4))] @2: Bob is rough.[(((((triple1) -> rule4)) -> rule5))] Charlie is furry.[(((((triple4) -> rule5)) -> rule3) OR ((((((triple3) -> rule4)) -> rule5)) -> rule3) OR ((((((triple4) -> rule5) triple2) -> rule1)) -> rule7) OR ((((((((triple3) -> rule4)) -> rule5) triple2) -> rule1)) -> rule7))] Charlie is white.[(((((triple4) -> rule5) triple2) -> rule1) OR ((((((triple3) -> rule4)) -> rule5) triple2) -> rule1) OR ((((triple4) -> rule5) ((((((triple4) -> rule5)) -> rule3) ((triple4) -> rule5)) -> rule2)) -> rule1) OR ((((triple4) -> rule5) ((((((triple4) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule1) OR ((((((triple3) -> rule4)) -> rule5) ((((((triple4) -> rule5)) -> rule3) ((triple4) -> rule5)) -> rule2)) -> rule1) OR ((((((triple3) -> rule4)) -> rule5) ((((((triple4) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule1) OR ((((triple4) -> rule5) ((((((((triple3) -> rule4)) -> rule5)) -> rule3) ((triple4) -> rule5)) -> rule2)) -> rule1) OR ((((triple4) -> rule5) ((((((((triple3) -> rule4)) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule1) OR ((((((triple3) -> rule4)) -> rule5) ((((((((triple3) -> rule4)) -> rule5)) -> rule3) ((triple4) -> rule5)) -> rule2)) -> rule1) OR ((((((triple3) -> rule4)) -> rule5) ((((((((triple3) -> rule4)) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule1))] Harry is rough.[(((((triple11) -> rule4)) -> rule5))] @3: Bob is furry.[(((((((triple1) -> rule4)) -> rule5)) -> rule3))] Harry is green.[(((triple10 ((((triple11) -> rule4)) -> rule5)) -> rule2) OR ((((triple12) -> rule7) ((((triple11) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple11) -> rule4)) -> rule5)) -> rule3) ((((triple11) -> rule4)) -> rule5)) -> rule2))] @4: Bob is green.[(((((((((triple1) -> rule4)) -> rule5)) -> rule3) ((((triple1) -> rule4)) -> rule5)) -> rule2))] @5: Bob is white.[(((((((triple1) -> rule4)) -> rule5) ((((((((triple1) -> rule4)) -> rule5)) -> rule3) ((((triple1) -> rule4)) -> rule5)) -> rule2)) -> rule1))] @6: Bob is cold.[(((((((((triple1) -> rule4)) -> rule5) ((((((((triple1) -> rule4)) -> rule5)) -> rule3) ((((triple1) -> rule4)) -> rule5)) -> rule2)) -> rule1)) -> rule6))]