Anne is kind. Bob is cold. Bob is rough. Bob is white. Dave is cold. Dave is green. Dave is white. Fiona is cold. Fiona is nice. Fiona is rough. Kind things are nice. White, round things are green. If something is nice and round then it is white. If something is rough then it is round. Cold things are rough. If Anne is kind and Anne is nice then Anne is cold.
Anne is rough.
@0: Anne is kind.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3 OR ((triple2) -> rule5))] Bob is white.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6 OR ((triple7 ((((triple5) -> rule5)) -> rule4)) -> rule2))] Dave is white.[(triple7)] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10 OR ((triple8) -> rule5))] @1: Anne is nice.[(((triple1) -> rule1))] Bob is round.[(((triple3) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] Dave is rough.[(((triple5) -> rule5))] Fiona is round.[(((triple10) -> rule4) OR ((((triple8) -> rule5)) -> rule4))] @2: Anne is cold.[(((triple1 ((triple1) -> rule1)) -> rule6))] Bob is green.[(((triple4 ((triple3) -> rule4)) -> rule2) OR ((triple4 ((((triple2) -> rule5)) -> rule4)) -> rule2))] Dave is round.[(((((triple5) -> rule5)) -> rule4))] Fiona is white.[(((triple9 ((triple10) -> rule4)) -> rule3) OR ((triple9 ((((triple8) -> rule5)) -> rule4)) -> rule3))] @3: Anne is rough.[(((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule5))] Fiona is green.[(((((triple9 ((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule2) OR ((((triple9 ((triple10) -> rule4)) -> rule3) ((((triple8) -> rule5)) -> rule4)) -> rule2) OR ((((triple9 ((((triple8) -> rule5)) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule2) OR ((((triple9 ((((triple8) -> rule5)) -> rule4)) -> rule3) ((((triple8) -> rule5)) -> rule4)) -> rule2))] @4: Anne is round.[(((((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule5)) -> rule4))] @5: Anne is white.[(((((triple1) -> rule1) ((((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule5)) -> rule4)) -> rule3))] @6: Anne is green.[(((((((triple1) -> rule1) ((((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule5)) -> rule4)) -> rule2))]