Dave is blue. Dave is nice. Dave is round. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. All round things are nice. All nice things are furry. If Dave is young and Dave is rough then Dave is furry. All blue things are nice. Young things are rough. If something is round and furry then it is young. If something is round and young then it is rough. Nice things are blue.
Dave is not young.
@0: Dave is blue.[(triple1 OR ((triple2) -> rule8) OR ((((triple3) -> rule1)) -> rule8))] Dave is nice.[(triple2 OR ((triple1) -> rule4) OR ((triple3) -> rule1))] Dave is round.[(triple3)] Fiona is blue.[(triple4 OR ((triple6) -> rule8) OR ((((triple9) -> rule1)) -> rule8))] Fiona is furry.[(triple5 OR ((triple6) -> rule2) OR ((((triple4) -> rule4)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] Fiona is nice.[(triple6 OR ((triple4) -> rule4) OR ((triple9) -> rule1))] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8 OR ((triple10) -> rule5) OR ((triple9 triple10) -> rule7) OR ((((triple9 triple5) -> rule6)) -> rule5) OR ((triple9 ((triple9 triple5) -> rule6)) -> rule7) OR ((((triple9 ((triple6) -> rule2)) -> rule6)) -> rule5) OR ((triple9 ((triple9 ((triple6) -> rule2)) -> rule6)) -> rule7) OR ((((triple9 ((((triple4) -> rule4)) -> rule2)) -> rule6)) -> rule5) OR ((((triple9 ((((triple9) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((triple9 ((triple9 ((((triple4) -> rule4)) -> rule2)) -> rule6)) -> rule7) OR ((triple9 ((triple9 ((((triple9) -> rule1)) -> rule2)) -> rule6)) -> rule7))] Fiona is round.[(triple9)] Fiona is young.[(triple10 OR ((triple9 triple5) -> rule6) OR ((triple9 ((triple6) -> rule2)) -> rule6) OR ((triple9 ((((triple4) -> rule4)) -> rule2)) -> rule6) OR ((triple9 ((((triple9) -> rule1)) -> rule2)) -> rule6))] @1: Dave is furry.[(((triple2) -> rule2) OR ((((triple1) -> rule4)) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] @2: Dave is young.[(((triple3 ((triple2) -> rule2)) -> rule6) OR ((triple3 ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((triple3 ((((triple3) -> rule1)) -> rule2)) -> rule6))] @3: Dave is rough.[(((((triple3 ((triple2) -> rule2)) -> rule6)) -> rule5) OR ((triple3 ((triple3 ((triple2) -> rule2)) -> rule6)) -> rule7) OR ((((triple3 ((((triple1) -> rule4)) -> rule2)) -> rule6)) -> rule5) OR ((((triple3 ((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((triple3 ((triple3 ((((triple1) -> rule4)) -> rule2)) -> rule6)) -> rule7) OR ((triple3 ((triple3 ((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule7))]