Bob is green. Bob is kind. Bob is nice. Bob is white. Fiona is cold. Fiona is red. Fiona is white. Cold things are green. All green things are smart. All white things are green. White, kind things are nice. All smart, green things are nice. If something is smart and cold then it is white. Red, white things are smart. All red things are green.
Fiona is not cold.
@0: Bob is green.[(triple1 OR ((triple4) -> rule3))] Bob is kind.[(triple2)] Bob is nice.[(triple3 OR ((triple4 triple2) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule5) OR ((((triple1) -> rule2) ((triple4) -> rule3)) -> rule5) OR ((((((triple4) -> rule3)) -> rule2) triple1) -> rule5) OR ((((((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule5))] Bob is white.[(triple4)] Fiona is cold.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7 OR ((((((triple5) -> rule1)) -> rule2) triple5) -> rule6) OR ((((((triple6) -> rule8)) -> rule2) triple5) -> rule6))] @1: Bob is smart.[(((triple1) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] Fiona is green.[(((triple5) -> rule1) OR ((triple6) -> rule8) OR ((triple7) -> rule3))] Fiona is smart.[(((triple6 triple7) -> rule7) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple6) -> rule8)) -> rule2) OR ((((triple7) -> rule3)) -> rule2))] @2: Fiona is nice.[(((((triple6 triple7) -> rule7) ((triple5) -> rule1)) -> rule5) OR ((((triple6 triple7) -> rule7) ((triple6) -> rule8)) -> rule5) OR ((((triple6 triple7) -> rule7) ((triple7) -> rule3)) -> rule5) OR ((((((triple5) -> rule1)) -> rule2) ((triple5) -> rule1)) -> rule5) OR ((((((triple5) -> rule1)) -> rule2) ((triple6) -> rule8)) -> rule5) OR ((((((triple5) -> rule1)) -> rule2) ((triple7) -> rule3)) -> rule5) OR ((((((triple6) -> rule8)) -> rule2) ((triple5) -> rule1)) -> rule5) OR ((((((triple6) -> rule8)) -> rule2) ((triple6) -> rule8)) -> rule5) OR ((((((triple6) -> rule8)) -> rule2) ((triple7) -> rule3)) -> rule5) OR ((((((triple7) -> rule3)) -> rule2) ((triple5) -> rule1)) -> rule5) OR ((((((triple7) -> rule3)) -> rule2) ((triple6) -> rule8)) -> rule5) OR ((((((triple7) -> rule3)) -> rule2) ((triple7) -> rule3)) -> rule5))]