Bob is big. Bob is cold. Bob is kind. Bob is quiet. Bob is smart. Erin is blue. Erin is cold. Erin is kind. Erin is white. Fiona is quiet. Fiona is not smart. Fiona is white. Gary is blue. Gary is white. If someone is cold then they are blue. If someone is big then they are cold. If someone is smart then they are quiet. If someone is blue then they are quiet. All cold people are quiet. All quiet, blue people are big. Cold, quiet people are smart. If someone is smart and not cold then they are kind. White, smart people are kind.
Gary is not cold.
@0: Bob is big.[(triple1 OR ((triple4 ((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule5) ((triple2) -> rule1)) -> rule6) OR ((((triple5) -> rule3) ((triple2) -> rule1)) -> rule6) OR ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6))] Bob is cold.[(triple2 OR ((triple1) -> rule2))] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple2) -> rule5) OR ((triple5) -> rule3) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple2) -> rule1)) -> rule4) OR ((((((triple1) -> rule2)) -> rule1)) -> rule4))] Bob is smart.[(triple5 OR ((triple2 triple4) -> rule7) OR ((triple2 ((triple2) -> rule5)) -> rule7) OR ((((triple1) -> rule2) triple4) -> rule7) OR ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule7) OR ((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule7) OR ((triple2 ((((triple2) -> rule1)) -> rule4)) -> rule7) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule5)) -> rule7) OR ((((triple1) -> rule2) ((((triple2) -> rule1)) -> rule4)) -> rule7) OR ((triple2 ((((((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule7))] Erin is blue.[(triple6 OR ((triple7) -> rule1))] Erin is cold.[(triple7 OR ((((((triple6) -> rule4) triple6) -> rule6)) -> rule2))] Erin is kind.[(triple8 OR ((triple9 ((triple7 ((triple6) -> rule4)) -> rule7)) -> rule9) OR ((triple9 ((triple7 ((triple7) -> rule5)) -> rule7)) -> rule9) OR ((triple9 ((triple7 ((((triple7) -> rule1)) -> rule4)) -> rule7)) -> rule9) OR ((triple9 ((((((((triple6) -> rule4) triple6) -> rule6)) -> rule2) ((triple6) -> rule4)) -> rule7)) -> rule9) OR ((triple9 ((((((((triple6) -> rule4) triple6) -> rule6)) -> rule2) ((triple7) -> rule5)) -> rule7)) -> rule9) OR ((triple9 ((((((((triple6) -> rule4) triple6) -> rule6)) -> rule2) ((((triple7) -> rule1)) -> rule4)) -> rule7)) -> rule9))] Erin is white.[(triple9)] Fiona is not smart.[(triple11)] Fiona is quiet.[(triple10)] Fiona is white.[(triple12)] Gary is blue.[(triple13)] Gary is white.[(triple14)] @1: Bob is blue.[(((triple2) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] Erin is quiet.[(((triple6) -> rule4) OR ((triple7) -> rule5) OR ((((triple7) -> rule1)) -> rule4))] Gary is quiet.[(((triple13) -> rule4))] @2: Erin is big.[(((((triple6) -> rule4) triple6) -> rule6) OR ((((triple7) -> rule5) triple6) -> rule6) OR ((((triple6) -> rule4) ((triple7) -> rule1)) -> rule6) OR ((((triple7) -> rule5) ((triple7) -> rule1)) -> rule6) OR ((((((triple7) -> rule1)) -> rule4) triple6) -> rule6) OR ((((((triple7) -> rule1)) -> rule4) ((triple7) -> rule1)) -> rule6))] Erin is smart.[(((triple7 ((triple6) -> rule4)) -> rule7) OR ((triple7 ((triple7) -> rule5)) -> rule7) OR ((triple7 ((((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple6) -> rule4) triple6) -> rule6)) -> rule2) ((triple6) -> rule4)) -> rule7) OR ((((((((triple6) -> rule4) triple6) -> rule6)) -> rule2) ((triple7) -> rule5)) -> rule7) OR ((((((((triple6) -> rule4) triple6) -> rule6)) -> rule2) ((((triple7) -> rule1)) -> rule4)) -> rule7))] Gary is big.[(((((triple13) -> rule4) triple13) -> rule6))] @3: Gary is cold.[(((((((triple13) -> rule4) triple13) -> rule6)) -> rule2))] @4: Gary is smart.[(((((((((triple13) -> rule4) triple13) -> rule6)) -> rule2) ((triple13) -> rule4)) -> rule7))] @5: Gary is kind.[(((triple14 ((((((((triple13) -> rule4) triple13) -> rule6)) -> rule2) ((triple13) -> rule4)) -> rule7)) -> rule9))]