Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. If Anne is big and Anne is young then Anne is cold. If someone is nice and smart then they are big. If Fiona is blue and Fiona is quiet then Fiona is cold. If someone is smart and blue then they are quiet. If someone is cold and blue then they are young. Young people are quiet. All cold, nice people are big. If someone is nice then they are smart.
Anne is not young.
@0: Anne is big.[(triple1 OR ((triple3 triple4) -> rule7) OR ((triple4 triple6) -> rule2) OR ((triple4 ((triple4) -> rule8)) -> rule2))] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple1 triple7) -> rule1) OR ((((triple4 triple6) -> rule2) triple7) -> rule1) OR ((((triple4 ((triple4) -> rule8)) -> rule2) triple7) -> rule1))] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple7) -> rule6) OR ((triple6 triple2) -> rule4) OR ((((triple3 triple2) -> rule5)) -> rule6) OR ((((triple4) -> rule8) triple2) -> rule4))] Anne is smart.[(triple6 OR ((triple4) -> rule8))] Anne is young.[(triple7 OR ((triple3 triple2) -> rule5))] Fiona is big.[(triple8 OR ((triple10 triple11) -> rule7) OR ((triple11 triple13) -> rule2) OR ((triple11 ((triple11) -> rule8)) -> rule2) OR ((((triple9 triple12) -> rule3) triple11) -> rule7) OR ((((triple9 ((triple14) -> rule6)) -> rule3) triple11) -> rule7) OR ((((triple9 ((triple13 triple9) -> rule4)) -> rule3) triple11) -> rule7) OR ((((triple9 ((((triple11) -> rule8) triple9) -> rule4)) -> rule3) triple11) -> rule7))] Fiona is blue.[(triple9)] Fiona is cold.[(triple10 OR ((triple9 triple12) -> rule3) OR ((triple9 ((triple14) -> rule6)) -> rule3) OR ((triple9 ((triple13 triple9) -> rule4)) -> rule3) OR ((triple9 ((((triple11) -> rule8) triple9) -> rule4)) -> rule3))] Fiona is nice.[(triple11)] Fiona is quiet.[(triple12 OR ((triple14) -> rule6) OR ((triple13 triple9) -> rule4) OR ((((triple10 triple9) -> rule5)) -> rule6) OR ((((triple11) -> rule8) triple9) -> rule4))] Fiona is smart.[(triple13 OR ((triple11) -> rule8))] Fiona is young.[(triple14 OR ((triple10 triple9) -> rule5) OR ((((triple9 triple12) -> rule3) triple9) -> rule5) OR ((((triple9 ((triple13 triple9) -> rule4)) -> rule3) triple9) -> rule5) OR ((((triple9 ((((triple11) -> rule8) triple9) -> rule4)) -> rule3) triple9) -> rule5))]