Bob is cold. Bob is green. Bob is nice. Erin is green. Gary is nice. Harry is not cold. Harry is green. If someone is green and kind then they are young. If someone is green then they are kind. If someone is kind and young then they are big. All cold, young people are big. If someone is big and young then they are nice. All big people are nice. If someone is nice then they are smart.
Harry is not green.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((((triple1 ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule6) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule3)) -> rule6) OR ((((triple1 ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule5) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule5))] Erin is green.[(triple4)] Gary is nice.[(triple5)] Harry is green.[(triple7)] Harry is not cold.[(triple6)] @1: Bob is kind.[(((triple2) -> rule2))] Bob is smart.[(((triple3) -> rule7) OR ((((((triple1 ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple1 ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule5)) -> rule7) OR ((((((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule5)) -> rule7))] Erin is kind.[(((triple4) -> rule2))] Gary is smart.[(((triple5) -> rule7))] Harry is kind.[(((triple7) -> rule2))] @2: Bob is young.[(((triple2 ((triple2) -> rule2)) -> rule1))] Erin is young.[(((triple4 ((triple4) -> rule2)) -> rule1))] Harry is young.[(((triple7 ((triple7) -> rule2)) -> rule1))] @3: Bob is big.[(((triple1 ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule4) OR ((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule3))] Erin is big.[(((((triple4) -> rule2) ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule3))] Harry is big.[(((((triple7) -> rule2) ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3))] @4: Erin is nice.[(((((((triple4) -> rule2) ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule3)) -> rule6) OR ((((((triple4) -> rule2) ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule3) ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5))] Harry is nice.[(((((((triple7) -> rule2) ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule6) OR ((((((triple7) -> rule2) ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3) ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule5))] @5: Erin is smart.[(((((((((triple4) -> rule2) ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule3)) -> rule6)) -> rule7) OR ((((((((triple4) -> rule2) ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule3) ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5)) -> rule7))] Harry is smart.[(((((((((triple7) -> rule2) ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule6)) -> rule7) OR ((((((((triple7) -> rule2) ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3) ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule5)) -> rule7))]