Bob is blue. Bob is furry. Dave is blue. Dave is not kind. Dave is rough. Dave is young. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is not red. Harry is kind. Harry is rough. If Bob is nice and Bob is young then Bob is rough. If Dave is young and Dave is not kind then Dave is rough. All blue people are young. All red people are blue. All rough, young people are furry. If Bob is nice and Bob is red then Bob is kind. All blue people are nice. If Bob is young and Bob is furry then Bob is not red.
Harry is furry.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((((((triple1) -> rule7) ((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule5))] Dave is blue.[(triple3)] Dave is not kind.[(triple4)] Dave is rough.[(triple5 OR ((triple6 triple4) -> rule2) OR ((((triple3) -> rule3) triple4) -> rule2))] Dave is young.[(triple6 OR ((triple3) -> rule3))] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is not red.[(triple10)] Harry is kind.[(triple11)] Harry is rough.[(triple12)] @1: Bob is nice.[(((triple1) -> rule7))] Bob is young.[(((triple1) -> rule3))] Dave is furry.[(((triple5 triple6) -> rule5) OR ((triple5 ((triple3) -> rule3)) -> rule5) OR ((((triple6 triple4) -> rule2) triple6) -> rule5) OR ((((triple6 triple4) -> rule2) ((triple3) -> rule3)) -> rule5) OR ((((((triple3) -> rule3) triple4) -> rule2) triple6) -> rule5) OR ((((((triple3) -> rule3) triple4) -> rule2) ((triple3) -> rule3)) -> rule5))] Dave is nice.[(((triple3) -> rule7))] Fiona is nice.[(((triple7) -> rule7))] Fiona is young.[(((triple7) -> rule3))] @2: Bob is not red.[(((((triple1) -> rule3) triple2) -> rule8) OR ((((triple1) -> rule3) ((((((triple1) -> rule7) ((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule5)) -> rule8))] Bob is rough.[(((((triple1) -> rule7) ((triple1) -> rule3)) -> rule1))]