Bob is big. Bob is round. Charlie is cold. Charlie is kind. Charlie is round. Erin is cold. Gary is white. Nice things are kind. Cold things are white. All kind, cold things are big. Round, white things are nice. All round, green things are cold. All white things are nice. Big things are green. If Gary is cold and Gary is white then Gary is green.
Gary is not cold.
@0: Bob is big.[(triple1)] Bob is round.[(triple2)] Charlie is cold.[(triple3)] Charlie is kind.[(triple4 OR ((((((triple3) -> rule2)) -> rule6)) -> rule1) OR ((((triple5 ((triple3) -> rule2)) -> rule4)) -> rule1))] Charlie is round.[(triple5)] Erin is cold.[(triple6)] Gary is white.[(triple7)] @1: Bob is green.[(((triple1) -> rule7))] Charlie is big.[(((triple4 triple3) -> rule3) OR ((((((((triple3) -> rule2)) -> rule6)) -> rule1) triple3) -> rule3) OR ((((((triple5 ((triple3) -> rule2)) -> rule4)) -> rule1) triple3) -> rule3))] Charlie is white.[(((triple3) -> rule2))] Erin is white.[(((triple6) -> rule2))] Gary is nice.[(((triple7) -> rule6))] @2: Bob is cold.[(((triple2 ((triple1) -> rule7)) -> rule5))] Charlie is green.[(((((triple4 triple3) -> rule3)) -> rule7) OR ((((((((((triple3) -> rule2)) -> rule6)) -> rule1) triple3) -> rule3)) -> rule7) OR ((((((((triple5 ((triple3) -> rule2)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule7))] Charlie is nice.[(((((triple3) -> rule2)) -> rule6) OR ((triple5 ((triple3) -> rule2)) -> rule4))] Erin is nice.[(((((triple6) -> rule2)) -> rule6))] Gary is kind.[(((((triple7) -> rule6)) -> rule1))] @3: Bob is white.[(((((triple2 ((triple1) -> rule7)) -> rule5)) -> rule2))] Erin is kind.[(((((((triple6) -> rule2)) -> rule6)) -> rule1))] @4: Bob is nice.[(((((((triple2 ((triple1) -> rule7)) -> rule5)) -> rule2)) -> rule6) OR ((triple2 ((((triple2 ((triple1) -> rule7)) -> rule5)) -> rule2)) -> rule4))] Erin is big.[(((((((((triple6) -> rule2)) -> rule6)) -> rule1) triple6) -> rule3))] @5: Bob is kind.[(((((((((triple2 ((triple1) -> rule7)) -> rule5)) -> rule2)) -> rule6)) -> rule1) OR ((((triple2 ((((triple2 ((triple1) -> rule7)) -> rule5)) -> rule2)) -> rule4)) -> rule1))] Erin is green.[(((((((((((triple6) -> rule2)) -> rule6)) -> rule1) triple6) -> rule3)) -> rule7))]