Anne is big. Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is smart. Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Fiona is furry. Fiona is green. Fiona is nice. Fiona is smart. All furry, nice people are quiet. If someone is quiet then they are cold. Cold people are big. If Dave is furry then Dave is quiet. All green people are quiet. If someone is furry and big then they are quiet. If someone is furry and cold then they are nice. All big people are nice.
Fiona is big.
@0: Anne is big.[(triple1 OR ((triple2) -> rule3) OR ((((triple5) -> rule2)) -> rule3) OR ((((((triple3) -> rule5)) -> rule2)) -> rule3))] Anne is cold.[(triple2 OR ((triple5) -> rule2) OR ((((triple3) -> rule5)) -> rule2))] Anne is green.[(triple3)] Anne is nice.[(triple4 OR ((triple1) -> rule8) OR ((((triple2) -> rule3)) -> rule8) OR ((((((triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3) -> rule5)) -> rule2)) -> rule3)) -> rule8))] Anne is quiet.[(triple5 OR ((triple3) -> rule5))] Anne is smart.[(triple6)] Dave is big.[(triple7 OR ((((triple11) -> rule2)) -> rule3) OR ((((((triple8) -> rule4)) -> rule2)) -> rule3) OR ((((((triple9) -> rule5)) -> rule2)) -> rule3) OR ((((((triple8 triple10) -> rule1)) -> rule2)) -> rule3))] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10 OR ((triple7) -> rule8) OR ((triple8 ((triple11) -> rule2)) -> rule7) OR ((((((triple11) -> rule2)) -> rule3)) -> rule8) OR ((triple8 ((((triple8) -> rule4)) -> rule2)) -> rule7) OR ((triple8 ((((triple9) -> rule5)) -> rule2)) -> rule7) OR ((triple8 ((((triple8 triple7) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple8) -> rule4)) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple9) -> rule5)) -> rule2)) -> rule3)) -> rule8))] Dave is quiet.[(triple11 OR ((triple8) -> rule4) OR ((triple9) -> rule5) OR ((triple8 triple10) -> rule1) OR ((triple8 triple7) -> rule6) OR ((triple8 ((triple7) -> rule8)) -> rule1))] Dave is smart.[(triple12)] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is nice.[(triple15 OR ((triple13 ((((triple14) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple14) -> rule5)) -> rule2)) -> rule3)) -> rule8))] Fiona is smart.[(triple16)] @1: Dave is cold.[(((triple11) -> rule2) OR ((((triple8) -> rule4)) -> rule2) OR ((((triple9) -> rule5)) -> rule2) OR ((((triple8 triple10) -> rule1)) -> rule2) OR ((((triple8 triple7) -> rule6)) -> rule2) OR ((((triple8 ((triple7) -> rule8)) -> rule1)) -> rule2))] Fiona is quiet.[(((triple14) -> rule5) OR ((triple13 triple15) -> rule1))] @2: Fiona is cold.[(((((triple14) -> rule5)) -> rule2) OR ((((triple13 triple15) -> rule1)) -> rule2))] @3: Fiona is big.[(((((((triple14) -> rule5)) -> rule2)) -> rule3) OR ((((((triple13 triple15) -> rule1)) -> rule2)) -> rule3))]