Bob is big. Bob is kind. Bob is rough. Fiona is kind. Fiona is nice. Fiona is red. Fiona is smart. Gary is big. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is smart. Harry is big. Harry is nice. Round people are big. Nice, big people are round. Rough, big people are red. Kind people are big. If someone is round then they are nice. Red, kind people are round.
Harry is not red.
@0: Bob is big.[(triple1 OR ((triple2) -> rule4))] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5 OR ((((triple6 triple4) -> rule6)) -> rule5))] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] Gary is big.[(triple8 OR ((triple9) -> rule4) OR ((((triple11 triple9) -> rule6)) -> rule1))] Gary is kind.[(triple9)] Gary is nice.[(triple10 OR ((((triple11 triple9) -> rule6)) -> rule5) OR ((((((triple12 triple8) -> rule3) triple9) -> rule6)) -> rule5) OR ((((((triple12 ((triple9) -> rule4)) -> rule3) triple9) -> rule6)) -> rule5))] Gary is red.[(triple11 OR ((triple12 triple8) -> rule3) OR ((triple12 ((triple9) -> rule4)) -> rule3))] Gary is rough.[(triple12)] Gary is smart.[(triple13)] Harry is big.[(triple14)] Harry is nice.[(triple15)] @1: Bob is red.[(((triple3 triple1) -> rule3) OR ((triple3 ((triple2) -> rule4)) -> rule3))] Fiona is big.[(((triple4) -> rule4) OR ((((triple6 triple4) -> rule6)) -> rule1))] Fiona is round.[(((triple6 triple4) -> rule6) OR ((triple5 ((triple4) -> rule4)) -> rule2))] Gary is round.[(((triple10 triple8) -> rule2) OR ((triple11 triple9) -> rule6) OR ((triple10 ((triple9) -> rule4)) -> rule2) OR ((((triple12 triple8) -> rule3) triple9) -> rule6) OR ((((triple12 ((triple9) -> rule4)) -> rule3) triple9) -> rule6))] Harry is round.[(((triple15 triple14) -> rule2))] @2: Bob is round.[(((((triple3 triple1) -> rule3) triple2) -> rule6) OR ((((triple3 ((triple2) -> rule4)) -> rule3) triple2) -> rule6))] @3: Bob is nice.[(((((((triple3 triple1) -> rule3) triple2) -> rule6)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule3) triple2) -> rule6)) -> rule5))]