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