Bob is furry. Bob is kind. Bob is red. Bob is round. Bob is young. Dave is kind. Dave is not red. Dave is round. Fiona is young. Harry is not young. If Fiona is furry and Fiona is green then Fiona is round. All round things are blue. Red, kind things are furry. Young, kind things are furry. All furry, kind things are young. All round, young things are not green. If something is round then it is kind. If Fiona is blue then Fiona is green.
Harry is not red.
@0: Bob is furry.[(triple1 OR ((triple3 triple2) -> rule3) OR ((triple5 triple2) -> rule4) OR ((triple3 ((triple4) -> rule7)) -> rule3) OR ((triple5 ((triple4) -> rule7)) -> rule4))] Bob is kind.[(triple2 OR ((triple4) -> rule7))] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5 OR ((triple1 triple2) -> rule5) OR ((triple1 ((triple4) -> rule7)) -> rule5) OR ((((triple3 triple2) -> rule3) triple2) -> rule5) OR ((((triple3 triple2) -> rule3) ((triple4) -> rule7)) -> rule5) OR ((((triple3 ((triple4) -> rule7)) -> rule3) triple2) -> rule5) OR ((((triple3 ((triple4) -> rule7)) -> rule3) ((triple4) -> rule7)) -> rule5))] Dave is kind.[(triple6 OR ((triple8) -> rule7))] Dave is not red.[(triple7)] Dave is round.[(triple8)] Fiona is young.[(triple9)] Harry is not young.[(triple10)] @1: Bob is blue.[(((triple4) -> rule2))] Bob is not green.[(((triple4 triple5) -> rule6) OR ((triple4 ((triple1 triple2) -> rule5)) -> rule6) OR ((triple4 ((triple1 ((triple4) -> rule7)) -> rule5)) -> rule6) OR ((triple4 ((((triple3 triple2) -> rule3) triple2) -> rule5)) -> rule6) OR ((triple4 ((((triple3 triple2) -> rule3) ((triple4) -> rule7)) -> rule5)) -> rule6) OR ((triple4 ((((triple3 ((triple4) -> rule7)) -> rule3) triple2) -> rule5)) -> rule6) OR ((triple4 ((((triple3 ((triple4) -> rule7)) -> rule3) ((triple4) -> rule7)) -> rule5)) -> rule6))] Dave is blue.[(((triple8) -> rule2))]