Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is white. If Charlie is quiet then Charlie is white. If something is red and kind then it is blue. If Fiona is cold and Fiona is kind then Fiona is quiet. If something is kind and red then it is white. If something is nice and blue then it is quiet. If something is kind then it is nice. If Charlie is red and Charlie is nice then Charlie is kind. All cold, quiet things are red.
Charlie is not quiet.
@0: Charlie is blue.[(triple1 OR ((triple6 triple3) -> rule2) OR ((triple6 ((triple6 triple4) -> rule7)) -> rule2) OR ((((triple2 triple5) -> rule8) triple3) -> rule2) OR ((((triple2 triple5) -> rule8) ((triple6 triple4) -> rule7)) -> rule2) OR ((triple6 ((((triple2 triple5) -> rule8) triple4) -> rule7)) -> rule2) OR ((((triple2 triple5) -> rule8) ((((triple2 triple5) -> rule8) triple4) -> rule7)) -> rule2))] Charlie is cold.[(triple2)] Charlie is kind.[(triple3 OR ((triple6 triple4) -> rule7) OR ((((triple2 triple5) -> rule8) triple4) -> rule7) OR ((((triple2 ((triple4 triple1) -> rule5)) -> rule8) triple4) -> rule7))] Charlie is nice.[(triple4 OR ((triple3) -> rule6))] Charlie is quiet.[(triple5 OR ((triple4 triple1) -> rule5) OR ((triple4 ((triple6 triple3) -> rule2)) -> rule5) OR ((((triple3) -> rule6) triple1) -> rule5) OR ((((triple3) -> rule6) ((triple6 triple3) -> rule2)) -> rule5) OR ((triple4 ((triple6 ((triple6 triple4) -> rule7)) -> rule2)) -> rule5) OR ((((triple3) -> rule6) ((triple6 ((triple6 triple4) -> rule7)) -> rule2)) -> rule5))] Charlie is red.[(triple6 OR ((triple2 triple5) -> rule8) OR ((triple2 ((triple4 triple1) -> rule5)) -> rule8) OR ((triple2 ((((triple3) -> rule6) triple1) -> rule5)) -> rule8))] Charlie is white.[(triple7 OR ((triple5) -> rule1) OR ((triple3 triple6) -> rule4) OR ((((triple4 triple1) -> rule5)) -> rule1) OR ((triple3 ((triple2 triple5) -> rule8)) -> rule4) OR ((((triple6 triple4) -> rule7) triple6) -> rule4) OR ((((triple6 triple4) -> rule7) ((triple2 triple5) -> rule8)) -> rule4) OR ((((triple4 ((triple6 triple3) -> rule2)) -> rule5)) -> rule1) OR ((((((triple3) -> rule6) triple1) -> rule5)) -> rule1) OR ((triple3 ((triple2 ((triple4 triple1) -> rule5)) -> rule8)) -> rule4) OR ((((((triple2 triple5) -> rule8) triple4) -> rule7) triple6) -> rule4) OR ((((((triple3) -> rule6) ((triple6 triple3) -> rule2)) -> rule5)) -> rule1) OR ((((triple6 triple4) -> rule7) ((triple2 ((triple4 triple1) -> rule5)) -> rule8)) -> rule4) OR ((((((triple2 triple5) -> rule8) triple4) -> rule7) ((triple2 triple5) -> rule8)) -> rule4) OR ((((((triple2 triple5) -> rule8) triple4) -> rule7) ((triple2 ((triple4 triple1) -> rule5)) -> rule8)) -> rule4) OR ((((triple4 ((triple6 ((triple6 triple4) -> rule7)) -> rule2)) -> rule5)) -> rule1) OR ((triple3 ((triple2 ((((triple3) -> rule6) triple1) -> rule5)) -> rule8)) -> rule4) OR ((((((triple2 ((triple4 triple1) -> rule5)) -> rule8) triple4) -> rule7) triple6) -> rule4) OR ((((((triple3) -> rule6) ((triple6 ((triple6 triple4) -> rule7)) -> rule2)) -> rule5)) -> rule1) OR ((((triple6 triple4) -> rule7) ((triple2 ((((triple3) -> rule6) triple1) -> rule5)) -> rule8)) -> rule4) OR ((((((triple2 ((triple4 triple1) -> rule5)) -> rule8) triple4) -> rule7) ((triple2 triple5) -> rule8)) -> rule4) OR ((((((triple2 triple5) -> rule8) triple4) -> rule7) ((triple2 ((((triple3) -> rule6) triple1) -> rule5)) -> rule8)) -> rule4) OR ((((((triple2 ((triple4 triple1) -> rule5)) -> rule8) triple4) -> rule7) ((triple2 ((triple4 triple1) -> rule5)) -> rule8)) -> rule4) OR ((((((triple2 ((triple4 triple1) -> rule5)) -> rule8) triple4) -> rule7) ((triple2 ((((triple3) -> rule6) triple1) -> rule5)) -> rule8)) -> rule4))] Fiona is blue.[(triple8 OR ((((triple9 ((triple9 triple10) -> rule3)) -> rule8) triple10) -> rule2))] Fiona is cold.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11 OR ((triple10) -> rule6))] Fiona is white.[(triple12 OR ((triple10 ((triple9 ((triple11 triple8) -> rule5)) -> rule8)) -> rule4) OR ((triple10 ((triple9 ((triple9 triple10) -> rule3)) -> rule8)) -> rule4) OR ((triple10 ((triple9 ((((triple10) -> rule6) triple8) -> rule5)) -> rule8)) -> rule4))] @1: Fiona is quiet.[(((triple11 triple8) -> rule5) OR ((triple9 triple10) -> rule3) OR ((((triple10) -> rule6) triple8) -> rule5))] @2: Fiona is red.[(((triple9 ((triple11 triple8) -> rule5)) -> rule8) OR ((triple9 ((triple9 triple10) -> rule3)) -> rule8) OR ((triple9 ((((triple10) -> rule6) triple8) -> rule5)) -> rule8))]