Bob is big. Bob is blue. Bob is round. Bob is white. Dave is blue. Dave is not kind. Dave is rough. Dave is round. Fiona is kind. Fiona is rough. Fiona is not smart. Fiona is white. If something is blue and kind then it is rough. Smart, kind things are rough. All blue, kind things are rough. If something is kind then it is blue. If Bob is big and Bob is white then Bob is kind. If something is white and round then it is kind.
Dave is blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((((triple1 triple4) -> rule5)) -> rule4) OR ((((triple4 triple3) -> rule6)) -> rule4))] Bob is round.[(triple3)] Bob is white.[(triple4)] Dave is blue.[(triple5)] Dave is not kind.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Fiona is kind.[(triple9)] Fiona is not smart.[(triple11)] Fiona is rough.[(triple10 OR ((((triple9) -> rule4) triple9) -> rule1) OR ((((triple9) -> rule4) triple9) -> rule3))] Fiona is white.[(triple12)] @1: Bob is kind.[(((triple1 triple4) -> rule5) OR ((triple4 triple3) -> rule6))] Fiona is blue.[(((triple9) -> rule4))] @2: Bob is rough.[(((triple2 ((triple1 triple4) -> rule5)) -> rule1) OR ((triple2 ((triple1 triple4) -> rule5)) -> rule3) OR ((triple2 ((triple4 triple3) -> rule6)) -> rule1) OR ((triple2 ((triple4 triple3) -> rule6)) -> rule3) OR ((((((triple1 triple4) -> rule5)) -> rule4) ((triple1 triple4) -> rule5)) -> rule1) OR ((((((triple1 triple4) -> rule5)) -> rule4) ((triple1 triple4) -> rule5)) -> rule3) OR ((((((triple1 triple4) -> rule5)) -> rule4) ((triple4 triple3) -> rule6)) -> rule1) OR ((((((triple1 triple4) -> rule5)) -> rule4) ((triple4 triple3) -> rule6)) -> rule3) OR ((((((triple4 triple3) -> rule6)) -> rule4) ((triple1 triple4) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule6)) -> rule4) ((triple1 triple4) -> rule5)) -> rule3) OR ((((((triple4 triple3) -> rule6)) -> rule4) ((triple4 triple3) -> rule6)) -> rule1) OR ((((((triple4 triple3) -> rule6)) -> rule4) ((triple4 triple3) -> rule6)) -> rule3))]