Bob is blue. Bob is furry. Bob is kind. Bob is nice. Bob is rough. Bob is round. Bob is young. Fiona is furry. Fiona is round. Gary is furry. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is young. If something is nice then it is round. If something is blue then it is round. If something is blue then it is nice. If something is rough then it is blue. Round things are blue. All nice, blue things are rough.
Fiona is furry.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule4) OR ((triple6) -> rule5) OR ((((triple4) -> rule1)) -> rule5))] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple1) -> rule3) OR ((((triple5) -> rule4)) -> rule3) OR ((((triple6) -> rule5)) -> rule3))] Bob is rough.[(triple5 OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple6) -> rule5)) -> rule6) OR ((((triple1) -> rule3) triple1) -> rule6) OR ((((triple1) -> rule3) ((triple6) -> rule5)) -> rule6) OR ((triple4 ((((triple4) -> rule1)) -> rule5)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) triple1) -> rule6) OR ((((triple1) -> rule3) ((((triple4) -> rule1)) -> rule5)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) ((((triple4) -> rule1)) -> rule5)) -> rule6))] Bob is round.[(triple6 OR ((triple1) -> rule2) OR ((triple4) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple5) -> rule4)) -> rule2) OR ((((((triple5) -> rule4)) -> rule3)) -> rule1))] Bob is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is round.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12 OR ((((triple13) -> rule4)) -> rule3) OR ((((triple14) -> rule5)) -> rule3))] Gary is rough.[(triple13 OR ((triple12 ((triple14) -> rule5)) -> rule6) OR ((triple12 ((((triple12) -> rule1)) -> rule5)) -> rule6) OR ((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule6) OR ((((((triple14) -> rule5)) -> rule3) ((((triple12) -> rule1)) -> rule5)) -> rule6))] Gary is round.[(triple14 OR ((triple12) -> rule1) OR ((((triple13) -> rule4)) -> rule2) OR ((((((triple13) -> rule4)) -> rule3)) -> rule1))] Gary is young.[(triple15)] @1: Fiona is blue.[(((triple9) -> rule5))] Gary is blue.[(((triple13) -> rule4) OR ((triple14) -> rule5) OR ((((triple12) -> rule1)) -> rule5))] @2: Fiona is nice.[(((((triple9) -> rule5)) -> rule3))] @3: Fiona is rough.[(((((((triple9) -> rule5)) -> rule3) ((triple9) -> rule5)) -> rule6))]