Bob is furry. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. Fiona is nice. Fiona is rough. Harry is red. If someone is round and smart then they are furry. All rough people are smart. If someone is nice and young then they are round. If Fiona is smart then Fiona is rough. If Fiona is furry and Fiona is rough then Fiona is young. All nice people are furry.
Harry is not smart.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule6) OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple4) -> rule2)) -> rule1) OR ((((triple2 triple7) -> rule3) triple6) -> rule1) OR ((((triple2 triple7) -> rule3) ((triple4) -> rule2)) -> rule1))] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple2 triple7) -> rule3))] Bob is smart.[(triple6 OR ((triple4) -> rule2))] Bob is young.[(triple7)] Fiona is nice.[(triple8)] Fiona is rough.[(triple9)] Harry is red.[(triple10)] @1: Fiona is furry.[(((triple8) -> rule6))] Fiona is smart.[(((triple9) -> rule2))] @2: Fiona is young.[(((((triple8) -> rule6) triple9) -> rule5))] @3: Fiona is round.[(((triple8 ((((triple8) -> rule6) triple9) -> rule5)) -> rule3))]