Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is young. Charlie is cold. Charlie is quiet. Charlie is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Gary is big. Gary is red. If something is big and red then it is blue. If something is green and red then it is big. Young things are green. Blue, young things are big. If something is young then it is quiet. If Gary is young and Gary is red then Gary is blue. If something is young then it is red. If something is cold then it is red.
Anne is young.
@0: Anne is big.[(triple1 OR ((triple2 triple6) -> rule4) OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple3) -> rule8)) -> rule2) OR ((triple4 ((triple6) -> rule7)) -> rule2) OR ((((triple6) -> rule3) triple5) -> rule2) OR ((((triple6) -> rule3) ((triple3) -> rule8)) -> rule2) OR ((((triple6) -> rule3) ((triple6) -> rule7)) -> rule2))] Anne is blue.[(triple2 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple3) -> rule8)) -> rule1) OR ((triple1 ((triple6) -> rule7)) -> rule1) OR ((((triple4 triple5) -> rule2) triple5) -> rule1) OR ((((triple4 triple5) -> rule2) ((triple3) -> rule8)) -> rule1) OR ((((triple4 triple5) -> rule2) ((triple6) -> rule7)) -> rule1) OR ((((triple4 ((triple3) -> rule8)) -> rule2) triple5) -> rule1) OR ((((triple4 ((triple6) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple6) -> rule3) triple5) -> rule2) triple5) -> rule1) OR ((((triple4 ((triple3) -> rule8)) -> rule2) ((triple3) -> rule8)) -> rule1) OR ((((triple4 ((triple3) -> rule8)) -> rule2) ((triple6) -> rule7)) -> rule1) OR ((((triple4 ((triple6) -> rule7)) -> rule2) ((triple3) -> rule8)) -> rule1) OR ((((triple4 ((triple6) -> rule7)) -> rule2) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule3) triple5) -> rule2) ((triple3) -> rule8)) -> rule1) OR ((((((triple6) -> rule3) triple5) -> rule2) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule3) ((triple3) -> rule8)) -> rule2) triple5) -> rule1) OR ((((((triple6) -> rule3) ((triple6) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple6) -> rule3) ((triple3) -> rule8)) -> rule2) ((triple3) -> rule8)) -> rule1) OR ((((((triple6) -> rule3) ((triple3) -> rule8)) -> rule2) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule3) ((triple6) -> rule7)) -> rule2) ((triple3) -> rule8)) -> rule1) OR ((((((triple6) -> rule3) ((triple6) -> rule7)) -> rule2) ((triple6) -> rule7)) -> rule1))] Anne is cold.[(triple3)] Anne is green.[(triple4 OR ((triple6) -> rule3))] Anne is red.[(triple5 OR ((triple3) -> rule8) OR ((triple6) -> rule7))] Anne is young.[(triple6)] Charlie is cold.[(triple7)] Charlie is quiet.[(triple8 OR ((triple9) -> rule5))] Charlie is young.[(triple9)] Fiona is big.[(triple10)] Fiona is blue.[(triple11 OR ((triple10 ((triple12) -> rule8)) -> rule1))] Fiona is cold.[(triple12)] Fiona is quiet.[(triple13)] Gary is big.[(triple14)] Gary is red.[(triple15)] @1: Anne is quiet.[(((triple6) -> rule5))] Charlie is green.[(((triple9) -> rule3))] Charlie is red.[(((triple7) -> rule8) OR ((triple9) -> rule7))] Fiona is red.[(((triple12) -> rule8))] Gary is blue.[(((triple14 triple15) -> rule1))] @2: Charlie is big.[(((((triple9) -> rule3) ((triple7) -> rule8)) -> rule2) OR ((((triple9) -> rule3) ((triple9) -> rule7)) -> rule2))] @3: Charlie is blue.[(((((((triple9) -> rule3) ((triple7) -> rule8)) -> rule2) ((triple7) -> rule8)) -> rule1) OR ((((((triple9) -> rule3) ((triple7) -> rule8)) -> rule2) ((triple9) -> rule7)) -> rule1) OR ((((((triple9) -> rule3) ((triple9) -> rule7)) -> rule2) ((triple7) -> rule8)) -> rule1) OR ((((((triple9) -> rule3) ((triple9) -> rule7)) -> rule2) ((triple9) -> rule7)) -> rule1))]