Bob is rough. Bob is round. Dave is kind. Dave is rough. Dave is round. Gary is kind. Gary is nice. Gary is round. Harry is blue. Harry is young. Blue people are round. Smart, blue people are round. If someone is round then they are young. If someone is kind then they are smart. All round, young people are blue. If someone is smart and kind then they are rough. Round, blue people are kind. If someone is rough and nice then they are smart.
Bob is not nice.
@0: Bob is rough.[(triple1 OR ((((((triple2 ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule7)) -> rule4) ((triple2 ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule7)) -> rule6))] Bob is round.[(triple2)] Dave is kind.[(triple3 OR ((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule7))] Dave is rough.[(triple4 OR ((((triple3) -> rule4) triple3) -> rule6) OR ((((triple3) -> rule4) ((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule7)) -> rule4) triple3) -> rule6) OR ((((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule7)) -> rule4) ((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule7)) -> rule6))] Dave is round.[(triple5)] Gary is kind.[(triple6 OR ((triple8 ((triple8 ((triple8) -> rule3)) -> rule5)) -> rule7))] Gary is nice.[(triple7)] Gary is round.[(triple8)] Harry is blue.[(triple9)] Harry is young.[(triple10 OR ((((triple9) -> rule1)) -> rule3))] @1: Bob is young.[(((triple2) -> rule3))] Dave is smart.[(((triple3) -> rule4) OR ((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule7)) -> rule4))] Dave is young.[(((triple5) -> rule3))] Gary is smart.[(((triple6) -> rule4) OR ((((triple8 ((triple8 ((triple8) -> rule3)) -> rule5)) -> rule7)) -> rule4))] Gary is young.[(((triple8) -> rule3))] Harry is round.[(((triple9) -> rule1))] @2: Bob is blue.[(((triple2 ((triple2) -> rule3)) -> rule5))] Dave is blue.[(((triple5 ((triple5) -> rule3)) -> rule5))] Gary is blue.[(((triple8 ((triple8) -> rule3)) -> rule5))] Gary is rough.[(((((triple6) -> rule4) triple6) -> rule6) OR ((((triple6) -> rule4) ((triple8 ((triple8 ((triple8) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((((triple8 ((triple8 ((triple8) -> rule3)) -> rule5)) -> rule7)) -> rule4) triple6) -> rule6) OR ((((((triple8 ((triple8 ((triple8) -> rule3)) -> rule5)) -> rule7)) -> rule4) ((triple8 ((triple8 ((triple8) -> rule3)) -> rule5)) -> rule7)) -> rule6))] Harry is kind.[(((((triple9) -> rule1) triple9) -> rule7))] @3: Bob is kind.[(((triple2 ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule7))] Harry is smart.[(((((((triple9) -> rule1) triple9) -> rule7)) -> rule4))] @4: Bob is smart.[(((((triple2 ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule7)) -> rule4))] Harry is rough.[(((((((((triple9) -> rule1) triple9) -> rule7)) -> rule4) ((((triple9) -> rule1) triple9) -> rule7)) -> rule6))]