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