Anne is blue. Anne is cold. Anne is kind. Anne is quiet. Anne is red. Anne is young. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is young. All cold things are blue. Young things are cold. If something is cold and blue then it is young. If something is red and cold then it is young. If Fiona is kind then Fiona is young. All blue things are red. If something is smart then it is quiet. If Fiona is red then Fiona is quiet.
Fiona is blue.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Anne is cold.[(triple2 OR ((triple6) -> rule2))] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple1) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((((triple6) -> rule2)) -> rule1)) -> rule6))] Anne is young.[(triple6 OR ((triple2 triple1) -> rule3) OR ((triple5 triple2) -> rule4) OR ((triple2 ((triple2) -> rule1)) -> rule3) OR ((((triple1) -> rule6) triple2) -> rule4) OR ((((((triple2) -> rule1)) -> rule6) triple2) -> rule4))] Fiona is cold.[(triple7 OR ((triple10) -> rule2) OR ((((triple8) -> rule5)) -> rule2))] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9 OR ((((((triple7) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple10) -> rule2)) -> rule1)) -> rule6)) -> rule8) OR ((((((((((triple8) -> rule5)) -> rule2)) -> rule1)) -> rule6)) -> rule8))] Fiona is young.[(triple10 OR ((triple8) -> rule5) OR ((triple7 ((triple7) -> rule1)) -> rule3) OR ((((((triple7) -> rule1)) -> rule6) triple7) -> rule4))] @1: Fiona is blue.[(((triple7) -> rule1) OR ((((triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule5)) -> rule2)) -> rule1))] @2: Fiona is red.[(((((triple7) -> rule1)) -> rule6) OR ((((((triple10) -> rule2)) -> rule1)) -> rule6) OR ((((((((triple8) -> rule5)) -> rule2)) -> rule1)) -> rule6))]