Bob is big. Bob is blue. Bob is quiet. Dave is cold. Dave is kind. Dave is quiet. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is smart. Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. If someone is kind and quiet then they are big. All quiet people are kind. Big people are blue. If Gary is quiet and Gary is smart then Gary is nice. If Gary is nice then Gary is big. All cold people are quiet.
Bob is not kind.
@0: Bob is big.[(triple1 OR ((((triple3) -> rule2) triple3) -> rule1))] Bob is blue.[(triple2 OR ((triple1) -> rule3) OR ((((((triple3) -> rule2) triple3) -> rule1)) -> rule3))] Bob is quiet.[(triple3)] Dave is cold.[(triple4)] Dave is kind.[(triple5 OR ((triple6) -> rule2) OR ((((triple4) -> rule6)) -> rule2))] Dave is quiet.[(triple6 OR ((triple4) -> rule6))] Fiona is blue.[(triple7 OR ((((((((triple8) -> rule6)) -> rule2) ((triple8) -> rule6)) -> rule1)) -> rule3))] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10)] Gary is big.[(triple11 OR ((triple14 triple15) -> rule1) OR ((triple14 ((triple13) -> rule6)) -> rule1) OR ((((triple15) -> rule2) triple15) -> rule1) OR ((((triple15) -> rule2) ((triple13) -> rule6)) -> rule1) OR ((((((triple13) -> rule6)) -> rule2) triple15) -> rule1) OR ((((((triple13) -> rule6)) -> rule2) ((triple13) -> rule6)) -> rule1))] Gary is blue.[(triple12 OR ((triple11) -> rule3) OR ((((triple14 triple15) -> rule1)) -> rule3) OR ((((triple14 ((triple13) -> rule6)) -> rule1)) -> rule3) OR ((((((triple15) -> rule2) triple15) -> rule1)) -> rule3) OR ((((((triple15) -> rule2) ((triple13) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple13) -> rule6)) -> rule2) triple15) -> rule1)) -> rule3) OR ((((((((triple13) -> rule6)) -> rule2) ((triple13) -> rule6)) -> rule1)) -> rule3))] Gary is cold.[(triple13)] Gary is kind.[(triple14 OR ((triple15) -> rule2) OR ((((triple13) -> rule6)) -> rule2))] Gary is quiet.[(triple15 OR ((triple13) -> rule6))] @1: Bob is kind.[(((triple3) -> rule2))] Dave is big.[(((triple5 triple6) -> rule1) OR ((triple5 ((triple4) -> rule6)) -> rule1) OR ((((triple6) -> rule2) triple6) -> rule1) OR ((((triple6) -> rule2) ((triple4) -> rule6)) -> rule1) OR ((((((triple4) -> rule6)) -> rule2) triple6) -> rule1) OR ((((((triple4) -> rule6)) -> rule2) ((triple4) -> rule6)) -> rule1))] Fiona is quiet.[(((triple8) -> rule6))] @2: Dave is blue.[(((((triple5 triple6) -> rule1)) -> rule3) OR ((((triple5 ((triple4) -> rule6)) -> rule1)) -> rule3) OR ((((((triple6) -> rule2) triple6) -> rule1)) -> rule3) OR ((((((triple6) -> rule2) ((triple4) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple4) -> rule6)) -> rule2) triple6) -> rule1)) -> rule3) OR ((((((((triple4) -> rule6)) -> rule2) ((triple4) -> rule6)) -> rule1)) -> rule3))] Fiona is kind.[(((((triple8) -> rule6)) -> rule2))] @3: Fiona is big.[(((((((triple8) -> rule6)) -> rule2) ((triple8) -> rule6)) -> rule1))]