Bob is cold. Bob is rough. Bob is smart. Dave is kind. Dave is white. Erin is big. Gary is big. Blue, cold people are rough. Kind people are cold. Smart people are kind. If someone is cold and kind then they are blue. Rough people are white. If someone is big then they are smart.
Bob is blue.
@0: Bob is cold.[(triple1 OR ((((triple3) -> rule3)) -> rule2))] Bob is rough.[(triple2 OR ((((triple1 ((triple3) -> rule3)) -> rule4) triple1) -> rule1) OR ((((triple1 ((triple3) -> rule3)) -> rule4) ((((triple3) -> rule3)) -> rule2)) -> rule1) OR ((((((((triple3) -> rule3)) -> rule2) ((triple3) -> rule3)) -> rule4) triple1) -> rule1) OR ((((((((triple3) -> rule3)) -> rule2) ((triple3) -> rule3)) -> rule4) ((((triple3) -> rule3)) -> rule2)) -> rule1))] Bob is smart.[(triple3)] Dave is kind.[(triple4)] Dave is white.[(triple5 OR ((((((((triple4) -> rule2) triple4) -> rule4) ((triple4) -> rule2)) -> rule1)) -> rule5))] Erin is big.[(triple6)] Gary is big.[(triple7)] @1: Bob is kind.[(((triple3) -> rule3))] Bob is white.[(((triple2) -> rule5) OR ((((((triple1 ((triple3) -> rule3)) -> rule4) triple1) -> rule1)) -> rule5) OR ((((((triple1 ((triple3) -> rule3)) -> rule4) ((((triple3) -> rule3)) -> rule2)) -> rule1)) -> rule5) OR ((((((((((triple3) -> rule3)) -> rule2) ((triple3) -> rule3)) -> rule4) triple1) -> rule1)) -> rule5) OR ((((((((((triple3) -> rule3)) -> rule2) ((triple3) -> rule3)) -> rule4) ((((triple3) -> rule3)) -> rule2)) -> rule1)) -> rule5))] Dave is cold.[(((triple4) -> rule2))] Erin is smart.[(((triple6) -> rule6))] Gary is smart.[(((triple7) -> rule6))] @2: Bob is blue.[(((triple1 ((triple3) -> rule3)) -> rule4) OR ((((((triple3) -> rule3)) -> rule2) ((triple3) -> rule3)) -> rule4))] Dave is blue.[(((((triple4) -> rule2) triple4) -> rule4))] Erin is kind.[(((((triple6) -> rule6)) -> rule3))] Gary is kind.[(((((triple7) -> rule6)) -> rule3))] @3: Dave is rough.[(((((((triple4) -> rule2) triple4) -> rule4) ((triple4) -> rule2)) -> rule1))] Erin is cold.[(((((((triple6) -> rule6)) -> rule3)) -> rule2))] Gary is cold.[(((((((triple7) -> rule6)) -> rule3)) -> rule2))] @4: Erin is blue.[(((((((((triple6) -> rule6)) -> rule3)) -> rule2) ((((triple6) -> rule6)) -> rule3)) -> rule4))] Gary is blue.[(((((((((triple7) -> rule6)) -> rule3)) -> rule2) ((((triple7) -> rule6)) -> rule3)) -> rule4))] @5: Erin is rough.[(((((((((((triple6) -> rule6)) -> rule3)) -> rule2) ((((triple6) -> rule6)) -> rule3)) -> rule4) ((((((triple6) -> rule6)) -> rule3)) -> rule2)) -> rule1))] Gary is rough.[(((((((((((triple7) -> rule6)) -> rule3)) -> rule2) ((((triple7) -> rule6)) -> rule3)) -> rule4) ((((((triple7) -> rule6)) -> rule3)) -> rule2)) -> rule1))] @6: Erin is white.[(((((((((((((triple6) -> rule6)) -> rule3)) -> rule2) ((((triple6) -> rule6)) -> rule3)) -> rule4) ((((((triple6) -> rule6)) -> rule3)) -> rule2)) -> rule1)) -> rule5))] Gary is white.[(((((((((((((triple7) -> rule6)) -> rule3)) -> rule2) ((((triple7) -> rule6)) -> rule3)) -> rule4) ((((((triple7) -> rule6)) -> rule3)) -> rule2)) -> rule1)) -> rule5))]