Dave is furry. Dave is green. Dave is quiet. Dave is red. Fiona is blue. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Gary is blue. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Harry is blue. Harry is smart. If something is blue and furry then it is quiet. If Dave is furry then Dave is nice. If something is furry then it is blue. Quiet things are red. All furry, green things are quiet. If something is red then it is green. All nice things are furry. All smart things are nice. Red things are quiet.
Harry is not furry.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2 OR ((triple4) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((((((triple1) -> rule3) triple1) -> rule1)) -> rule4)) -> rule6))] Dave is quiet.[(triple3 OR ((triple4) -> rule9) OR ((triple1 triple2) -> rule5) OR ((triple1 ((triple4) -> rule6)) -> rule5) OR ((((triple1) -> rule3) triple1) -> rule1))] Dave is red.[(triple4 OR ((triple3) -> rule4) OR ((((triple1 triple2) -> rule5)) -> rule4) OR ((((((triple1) -> rule3) triple1) -> rule1)) -> rule4))] Fiona is blue.[(triple5 OR ((triple6) -> rule3))] Fiona is furry.[(triple6)] Fiona is green.[(triple7 OR ((triple9) -> rule6) OR ((((triple8) -> rule4)) -> rule6) OR ((((((triple5 triple6) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule6))] Fiona is quiet.[(triple8 OR ((triple9) -> rule9) OR ((triple5 triple6) -> rule1) OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple9) -> rule6)) -> rule5) OR ((((triple6) -> rule3) triple6) -> rule1))] Fiona is red.[(triple9 OR ((triple8) -> rule4) OR ((((triple5 triple6) -> rule1)) -> rule4) OR ((((triple6 triple7) -> rule5)) -> rule4) OR ((((((triple6) -> rule3) triple6) -> rule1)) -> rule4))] Gary is blue.[(triple10 OR ((((triple11) -> rule7)) -> rule3) OR ((((((triple14) -> rule8)) -> rule7)) -> rule3))] Gary is nice.[(triple11 OR ((triple14) -> rule8))] Gary is quiet.[(triple12 OR ((triple13) -> rule9) OR ((triple10 ((triple11) -> rule7)) -> rule1) OR ((((triple11) -> rule7) ((triple13) -> rule6)) -> rule5) OR ((triple10 ((((triple14) -> rule8)) -> rule7)) -> rule1) OR ((((((triple11) -> rule7)) -> rule3) ((triple11) -> rule7)) -> rule1) OR ((((((triple14) -> rule8)) -> rule7) ((triple13) -> rule6)) -> rule5) OR ((((((triple11) -> rule7)) -> rule3) ((((triple14) -> rule8)) -> rule7)) -> rule1) OR ((((((((triple14) -> rule8)) -> rule7)) -> rule3) ((triple11) -> rule7)) -> rule1) OR ((((((((triple14) -> rule8)) -> rule7)) -> rule3) ((((triple14) -> rule8)) -> rule7)) -> rule1))] Gary is red.[(triple13 OR ((triple12) -> rule4) OR ((((triple10 ((triple11) -> rule7)) -> rule1)) -> rule4) OR ((((triple10 ((((triple14) -> rule8)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule3) ((triple11) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule3) ((((triple14) -> rule8)) -> rule7)) -> rule1)) -> rule4) OR ((((((((((triple14) -> rule8)) -> rule7)) -> rule3) ((triple11) -> rule7)) -> rule1)) -> rule4) OR ((((((((((triple14) -> rule8)) -> rule7)) -> rule3) ((((triple14) -> rule8)) -> rule7)) -> rule1)) -> rule4))] Gary is smart.[(triple14)] Harry is blue.[(triple15 OR ((((((triple16) -> rule8)) -> rule7)) -> rule3))] Harry is smart.[(triple16)] @1: Dave is blue.[(((triple1) -> rule3))] Dave is nice.[(((triple1) -> rule2))] Gary is furry.[(((triple11) -> rule7) OR ((((triple14) -> rule8)) -> rule7))] Gary is green.[(((triple13) -> rule6) OR ((((triple12) -> rule4)) -> rule6) OR ((((((triple10 ((triple11) -> rule7)) -> rule1)) -> rule4)) -> rule6) OR ((((((triple10 ((((triple14) -> rule8)) -> rule7)) -> rule1)) -> rule4)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule3) ((triple11) -> rule7)) -> rule1)) -> rule4)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule3) ((((triple14) -> rule8)) -> rule7)) -> rule1)) -> rule4)) -> rule6) OR ((((((((((((triple14) -> rule8)) -> rule7)) -> rule3) ((triple11) -> rule7)) -> rule1)) -> rule4)) -> rule6) OR ((((((((((((triple14) -> rule8)) -> rule7)) -> rule3) ((((triple14) -> rule8)) -> rule7)) -> rule1)) -> rule4)) -> rule6))] Harry is nice.[(((triple16) -> rule8))] @2: Harry is furry.[(((((triple16) -> rule8)) -> rule7))] @3: Harry is quiet.[(((triple15 ((((triple16) -> rule8)) -> rule7)) -> rule1) OR ((((((((triple16) -> rule8)) -> rule7)) -> rule3) ((((triple16) -> rule8)) -> rule7)) -> rule1))] @4: Harry is red.[(((((triple15 ((((triple16) -> rule8)) -> rule7)) -> rule1)) -> rule4) OR ((((((((((triple16) -> rule8)) -> rule7)) -> rule3) ((((triple16) -> rule8)) -> rule7)) -> rule1)) -> rule4))] @5: Harry is green.[(((((((triple15 ((((triple16) -> rule8)) -> rule7)) -> rule1)) -> rule4)) -> rule6) OR ((((((((((((triple16) -> rule8)) -> rule7)) -> rule3) ((((triple16) -> rule8)) -> rule7)) -> rule1)) -> rule4)) -> rule6))]