Bob is blue. Bob is not green. Bob is nice. Bob is quiet. Bob is red. Bob is round. Fiona is not green. Fiona is not nice. Fiona is quiet. Fiona is not round. Harry is furry. Harry is not green. Harry is nice. Harry is red. Harry is round. Blue things are furry. All red things are blue. All quiet things are red. If Fiona is green and Fiona is not red then Fiona is furry. If Fiona is nice then Fiona is round. If Bob is red and Bob is not blue then Bob is green. Quiet, nice things are round. If something is green then it is nice.
Bob is red.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] Bob is nice.[(triple3)] Bob is not green.[(triple2)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple4) -> rule3))] Bob is round.[(triple6 OR ((triple4 triple3) -> rule7))] Fiona is not green.[(triple7)] Fiona is not nice.[(triple8)] Fiona is not round.[(triple10)] Fiona is quiet.[(triple9)] Harry is furry.[(triple11 OR ((((triple14) -> rule2)) -> rule1))] Harry is nice.[(triple13)] Harry is not green.[(triple12)] Harry is red.[(triple14)] Harry is round.[(triple15)] @1: Bob is furry.[(((triple1) -> rule1) OR ((((triple5) -> rule2)) -> rule1) OR ((((((triple4) -> rule3)) -> rule2)) -> rule1))] Fiona is red.[(((triple9) -> rule3))] Harry is blue.[(((triple14) -> rule2))] @2: Fiona is blue.[(((((triple9) -> rule3)) -> rule2))] @3: Fiona is furry.[(((((((triple9) -> rule3)) -> rule2)) -> rule1))]