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