Anne is big. Anne is blue. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is white. Bob is big. Bob is blue. Bob is rough. Bob is not white. Dave is not red. Dave is not rough. Dave is round. Dave is white. Fiona is blue. Big, round things are kind. All big, blue things are kind. Kind things are round. If something is kind and not blue then it is white. All blue things are big. All big, white things are red.
Bob is not round.
@0: Anne is big.[(triple1 OR ((triple2) -> rule5))] Anne is blue.[(triple2)] Anne is kind.[(triple3 OR ((triple1 triple2) -> rule2) OR ((triple1 triple6) -> rule1) OR ((((triple2) -> rule5) triple2) -> rule2) OR ((((triple2) -> rule5) triple6) -> rule1))] Anne is red.[(triple4 OR ((triple1 triple7) -> rule6) OR ((((triple2) -> rule5) triple7) -> rule6))] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple3) -> rule3) OR ((((triple1 triple2) -> rule2)) -> rule3) OR ((((((triple2) -> rule5) triple2) -> rule2)) -> rule3))] Anne is white.[(triple7)] Bob is big.[(triple8 OR ((triple9) -> rule5))] Bob is blue.[(triple9)] Bob is not white.[(triple11)] Bob is rough.[(triple10)] Dave is not red.[(triple12)] Dave is not rough.[(triple13)] Dave is round.[(triple14)] Dave is white.[(triple15)] Fiona is blue.[(triple16)] @1: Bob is kind.[(((triple8 triple9) -> rule2) OR ((((triple9) -> rule5) triple9) -> rule2))] Fiona is big.[(((triple16) -> rule5))] @2: Bob is round.[(((((triple8 triple9) -> rule2)) -> rule3) OR ((((((triple9) -> rule5) triple9) -> rule2)) -> rule3))] Fiona is kind.[(((((triple16) -> rule5) triple16) -> rule2))] @3: Fiona is round.[(((((((triple16) -> rule5) triple16) -> rule2)) -> rule3))]