Anne is cold. Anne is round. Anne is young. Bob is round. Charlie is cold. Charlie is nice. Fiona is green. All white, green things are young. If something is cold and round then it is green. All young things are furry. If Anne is round then Anne is nice. All cold, green things are white. Round things are green. Nice things are round. If Anne is young then Anne is green. Young things are cold.
Bob is not nice.
@0: Anne is cold.[(triple1 OR ((triple3) -> rule9))] Anne is round.[(triple2)] Anne is young.[(triple3 OR ((((triple1 ((triple2) -> rule6)) -> rule5) ((triple2) -> rule6)) -> rule1) OR ((((triple1 ((triple2) -> rule6)) -> rule5) ((triple1 triple2) -> rule2)) -> rule1) OR ((((triple1 ((triple1 triple2) -> rule2)) -> rule5) ((triple2) -> rule6)) -> rule1) OR ((((triple1 ((triple1 triple2) -> rule2)) -> rule5) ((triple1 triple2) -> rule2)) -> rule1))] Bob is round.[(triple4)] Charlie is cold.[(triple5)] Charlie is nice.[(triple6)] Fiona is green.[(triple7)] @1: Anne is furry.[(((triple3) -> rule3) OR ((((((triple1 ((triple2) -> rule6)) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule3) OR ((((((triple1 ((triple2) -> rule6)) -> rule5) ((triple1 triple2) -> rule2)) -> rule1)) -> rule3) OR ((((((triple1 ((triple1 triple2) -> rule2)) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule3) OR ((((((triple1 ((triple1 triple2) -> rule2)) -> rule5) ((triple1 triple2) -> rule2)) -> rule1)) -> rule3))] Anne is green.[(((triple2) -> rule6) OR ((triple3) -> rule8) OR ((triple1 triple2) -> rule2) OR ((((triple3) -> rule9) triple2) -> rule2))] Anne is nice.[(((triple2) -> rule4))] Bob is green.[(((triple4) -> rule6))] Charlie is round.[(((triple6) -> rule7))] @2: Anne is white.[(((triple1 ((triple2) -> rule6)) -> rule5) OR ((triple1 ((triple3) -> rule8)) -> rule5) OR ((triple1 ((triple1 triple2) -> rule2)) -> rule5) OR ((((triple3) -> rule9) ((triple2) -> rule6)) -> rule5) OR ((((triple3) -> rule9) ((triple3) -> rule8)) -> rule5) OR ((((triple3) -> rule9) ((triple1 triple2) -> rule2)) -> rule5) OR ((triple1 ((((triple3) -> rule9) triple2) -> rule2)) -> rule5) OR ((((triple3) -> rule9) ((((triple3) -> rule9) triple2) -> rule2)) -> rule5))] Charlie is green.[(((((triple6) -> rule7)) -> rule6) OR ((triple5 ((triple6) -> rule7)) -> rule2))] @3: Charlie is white.[(((triple5 ((((triple6) -> rule7)) -> rule6)) -> rule5) OR ((triple5 ((triple5 ((triple6) -> rule7)) -> rule2)) -> rule5))] @4: Charlie is young.[(((((triple5 ((((triple6) -> rule7)) -> rule6)) -> rule5) ((((triple6) -> rule7)) -> rule6)) -> rule1) OR ((((triple5 ((((triple6) -> rule7)) -> rule6)) -> rule5) ((triple5 ((triple6) -> rule7)) -> rule2)) -> rule1) OR ((((triple5 ((triple5 ((triple6) -> rule7)) -> rule2)) -> rule5) ((((triple6) -> rule7)) -> rule6)) -> rule1) OR ((((triple5 ((triple5 ((triple6) -> rule7)) -> rule2)) -> rule5) ((triple5 ((triple6) -> rule7)) -> rule2)) -> rule1))] @5: Charlie is furry.[(((((((triple5 ((((triple6) -> rule7)) -> rule6)) -> rule5) ((((triple6) -> rule7)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple5 ((((triple6) -> rule7)) -> rule6)) -> rule5) ((triple5 ((triple6) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple5 ((triple5 ((triple6) -> rule7)) -> rule2)) -> rule5) ((((triple6) -> rule7)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple5 ((triple5 ((triple6) -> rule7)) -> rule2)) -> rule5) ((triple5 ((triple6) -> rule7)) -> rule2)) -> rule1)) -> rule3))]