Anne is blue. Bob is cold. Bob is not red. Bob is not rough. Bob is white. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Red people are white. Red, blue people are rough. If someone is quiet and cold then they are nice. Blue people are red. All white, quiet people are cold. All white people are quiet.
Bob is cold.
@0: Anne is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple5 ((triple5) -> rule6)) -> rule5))] Bob is not red.[(triple3)] Bob is not rough.[(triple4)] Bob is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7 OR ((triple12 triple9) -> rule5) OR ((triple12 ((triple12) -> rule6)) -> rule5) OR ((((triple10) -> rule1) triple9) -> rule5) OR ((((triple10) -> rule1) ((triple12) -> rule6)) -> rule5) OR ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) triple9) -> rule5) OR ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((triple12 ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple10) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5))] Fiona is nice.[(triple8 OR ((triple9 triple7) -> rule3) OR ((triple9 ((triple12 triple9) -> rule5)) -> rule3) OR ((((triple12) -> rule6) triple7) -> rule3) OR ((((triple12) -> rule6) ((triple12 triple9) -> rule5)) -> rule3) OR ((triple9 ((triple12 ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((((triple10) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) triple7) -> rule3) OR ((triple9 ((((triple10) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((triple12 ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((triple10) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((triple12 triple9) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((triple10) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((triple12 ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((((((triple6) -> rule4)) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) triple7) -> rule3) OR ((triple9 ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((((((triple6) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((((triple6) -> rule4)) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((triple12 triple9) -> rule5)) -> rule3) OR ((triple9 ((((((triple6) -> rule4)) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((triple12 ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((triple10) -> rule1) triple9) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((triple10) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((triple12 ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((((triple10) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((triple12 ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((triple10) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((triple12 ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((triple12 ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((triple10) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3))] Fiona is quiet.[(triple9 OR ((triple12) -> rule6) OR ((((triple10) -> rule1)) -> rule6) OR ((((((triple6) -> rule4)) -> rule1)) -> rule6))] Fiona is red.[(triple10 OR ((triple6) -> rule4))] Fiona is rough.[(triple11 OR ((triple10 triple6) -> rule2) OR ((((triple6) -> rule4) triple6) -> rule2))] Fiona is white.[(triple12 OR ((triple10) -> rule1) OR ((((triple6) -> rule4)) -> rule1))] @1: Anne is red.[(((triple1) -> rule4))] Bob is quiet.[(((triple5) -> rule6))] @2: Anne is rough.[(((((triple1) -> rule4) triple1) -> rule2))] Anne is white.[(((((triple1) -> rule4)) -> rule1))] Bob is nice.[(((((triple5) -> rule6) triple2) -> rule3) OR ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule3))] @3: Anne is quiet.[(((((((triple1) -> rule4)) -> rule1)) -> rule6))] @4: Anne is cold.[(((((((triple1) -> rule4)) -> rule1) ((((((triple1) -> rule4)) -> rule1)) -> rule6)) -> rule5))] @5: Anne is nice.[(((((((((triple1) -> rule4)) -> rule1)) -> rule6) ((((((triple1) -> rule4)) -> rule1) ((((((triple1) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3))]