Anne is smart. Bob is quiet. Bob is young. Fiona is not quiet. Gary is kind. Gary is rough. Gary is smart. Rough, kind people are blue. Young, kind people are rough. If someone is furry then they are quiet. Furry, young people are quiet. All quiet people are young. If someone is blue and kind then they are young. If someone is smart then they are furry. If Fiona is blue then Fiona is not kind. Young people are kind.
Bob is not smart.
@0: Anne is smart.[(triple1)] Bob is quiet.[(triple2)] Bob is young.[(triple3 OR ((triple2) -> rule5))] Fiona is not quiet.[(triple4)] Gary is kind.[(triple5 OR ((((((((triple7) -> rule7)) -> rule3)) -> rule5)) -> rule9))] Gary is rough.[(triple6 OR ((((((((triple7) -> rule7)) -> rule3)) -> rule5) triple5) -> rule2) OR ((((((((triple7) -> rule7)) -> rule3)) -> rule5) ((((((((triple7) -> rule7)) -> rule3)) -> rule5)) -> rule9)) -> rule2))] Gary is smart.[(triple7)] @1: Anne is furry.[(((triple1) -> rule7))] Bob is kind.[(((triple3) -> rule9) OR ((((triple2) -> rule5)) -> rule9))] Gary is blue.[(((triple6 triple5) -> rule1) OR ((triple6 ((((((((triple7) -> rule7)) -> rule3)) -> rule5)) -> rule9)) -> rule1) OR ((((((((((triple7) -> rule7)) -> rule3)) -> rule5) triple5) -> rule2) triple5) -> rule1) OR ((((((((((triple7) -> rule7)) -> rule3)) -> rule5) triple5) -> rule2) ((((((((triple7) -> rule7)) -> rule3)) -> rule5)) -> rule9)) -> rule1) OR ((((((((((triple7) -> rule7)) -> rule3)) -> rule5) ((((((((triple7) -> rule7)) -> rule3)) -> rule5)) -> rule9)) -> rule2) triple5) -> rule1) OR ((((((((((triple7) -> rule7)) -> rule3)) -> rule5) ((((((((triple7) -> rule7)) -> rule3)) -> rule5)) -> rule9)) -> rule2) ((((((((triple7) -> rule7)) -> rule3)) -> rule5)) -> rule9)) -> rule1))] Gary is furry.[(((triple7) -> rule7))] @2: Anne is quiet.[(((((triple1) -> rule7)) -> rule3))] Bob is rough.[(((triple3 ((triple3) -> rule9)) -> rule2) OR ((((triple2) -> rule5) ((triple3) -> rule9)) -> rule2) OR ((triple3 ((((triple2) -> rule5)) -> rule9)) -> rule2) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule9)) -> rule2))] Gary is quiet.[(((((triple7) -> rule7)) -> rule3) OR ((((triple7) -> rule7) ((((triple6 triple5) -> rule1) triple5) -> rule6)) -> rule4))] Gary is young.[(((((triple6 triple5) -> rule1) triple5) -> rule6) OR ((((((triple7) -> rule7)) -> rule3)) -> rule5))] @3: Anne is young.[(((((((triple1) -> rule7)) -> rule3)) -> rule5))] Bob is blue.[(((((triple3 ((triple3) -> rule9)) -> rule2) ((triple3) -> rule9)) -> rule1) OR ((((triple3 ((triple3) -> rule9)) -> rule2) ((((triple2) -> rule5)) -> rule9)) -> rule1) OR ((((((triple2) -> rule5) ((triple3) -> rule9)) -> rule2) ((triple3) -> rule9)) -> rule1) OR ((((((triple2) -> rule5) ((triple3) -> rule9)) -> rule2) ((((triple2) -> rule5)) -> rule9)) -> rule1) OR ((((triple3 ((((triple2) -> rule5)) -> rule9)) -> rule2) ((triple3) -> rule9)) -> rule1) OR ((((triple3 ((((triple2) -> rule5)) -> rule9)) -> rule2) ((((triple2) -> rule5)) -> rule9)) -> rule1) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule9)) -> rule2) ((triple3) -> rule9)) -> rule1) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule9)) -> rule2) ((((triple2) -> rule5)) -> rule9)) -> rule1))] @4: Anne is kind.[(((((((((triple1) -> rule7)) -> rule3)) -> rule5)) -> rule9))] @5: Anne is rough.[(((((((((triple1) -> rule7)) -> rule3)) -> rule5) ((((((((triple1) -> rule7)) -> rule3)) -> rule5)) -> rule9)) -> rule2))] @6: Anne is blue.[(((((((((((triple1) -> rule7)) -> rule3)) -> rule5) ((((((((triple1) -> rule7)) -> rule3)) -> rule5)) -> rule9)) -> rule2) ((((((((triple1) -> rule7)) -> rule3)) -> rule5)) -> rule9)) -> rule1))]